Skip to content
docker-ci-for-pr

Initial work on the theory of solvable terms #89

Sign in to view logs

Initial work on the theory of solvable terms

Initial work on the theory of solvable terms #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
1h 21m 49s
build-stdknl
1h 36m 27s
2h 58m 16s