.github/workflows/pr.yml

Upgrade to Lean (and mathlib) 4.7.0 #21

Sign in to view logs

Triggered via pull request April 19, 2024 06:32

opened #24

upgrade-to-lean-4.7.0

Status Success

Total duration 8m 36s

Artifacts –

pr.yml

on: pull_request

build-with-elan