Skip to content

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

Upgrade to Lean v4.8.0-rc1 and latest mathlib

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

Triggered via pull request May 22, 2024 01:00
Status Success
Total duration 1h 1m 58s
Artifacts

lean_build.yml

on: pull_request
Fit to window
Zoom out
Zoom in