Skip to content
.github/workflows/push.yml

updating mathlib #4

Sign in to view logs

updating mathlib

updating mathlib #4

Triggered via push January 12, 2024 15:18
@AlexKontorovichAlexKontorovich
pushed eceaee4
main
Status Failure
Total duration 5m 54s
Artifacts –

push.yml

on: push
Build blueprint
5m 43s
Build blueprint
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build blueprint
Process completed with exit code 2.