Skip to content
Make

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21) #29

Sign in to view logs

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21)

Cleanup code, bring up to date with new versions of 1Lab and Agda (#21) #29

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Everything.agda
4s
4s