Skip to content
CI

something changed and now it magically works just like in Lean 3 #215

Sign in to view logs

something changed and now it magically works just like in Lean 3

something changed and now it magically works just like in Lean 3 #215

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 3s
1m 3s