Skip to content
docker-ci-for-pr

Initial work on the theory of solvable terms #90

Sign in to view logs

Initial work on the theory of solvable terms

Initial work on the theory of solvable terms #90

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
1h 20m 26s
build-expk
1h 23m 29s
2h 43m 55s