Skip to content
nova

Set in stone the design of critical errors, fix some code around that #22

Sign in to view logs

Set in stone the design of critical errors, fix some code around that

Set in stone the design of critical errors, fix some code around that #22

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-idris2-master-test-our-branch
1m 45s
1m 45s