Skip to content

Upgrade to Lean v4.8.0-rc1 and latest mathlib #62

Upgrade to Lean v4.8.0-rc1 and latest mathlib

Upgrade to Lean v4.8.0-rc1 and latest mathlib #62

Triggered via pull request May 22, 2024 11:55
@jtristanjtristan
synchronize #11
Upgrade
Status Success
Total duration 1h 2m 28s
Artifacts

lean_build.yml

on: pull_request
Fit to window
Zoom out
Zoom in