.github/workflows/pr.yml

Upgrade to Lean (and mathlib) 4.7.0 #22

Sign in to view logs

Triggered via pull request April 19, 2024 14:18

synchronize #24

upgrade-to-lean-4.7.0

Status Success

Total duration 9m 25s

Artifacts –

pr.yml

on: pull_request

build-with-elan