Skip to content

bump to the latest mathlib4 #138

bump to the latest mathlib4

bump to the latest mathlib4 #138

Triggered via push October 19, 2023 11:00
Status Failure
Total duration 2m 15s
Artifacts

lean_build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.