Skip to content
.github/workflows/push.yml

mv "for_mathlib" directory to "mathlibExperiments" to discourage peop… #309

Sign in to view logs

mv "for_mathlib" directory to "mathlibExperiments" to discourage peop…

mv "for_mathlib" directory to "mathlibExperiments" to discourage peop… #309

Triggered via push August 5, 2024 21:13
@kbuzzardkbuzzard
pushed eef74b4
main
Status Failure
Total duration 1m 3s
Artifacts –

push.yml

on: push
Lint style
4s
Lint style
Build project
54s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.