Skip to content
docker-ci-for-pr

[lambda] permutator and more/improved subterm-related lemmas #172

Sign in to view logs

[lambda] permutator and more/improved subterm-related lemmas

[lambda] permutator and more/improved subterm-related lemmas #172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
58m 35s
build-expk
1h 0m 24s
1h 58m 59s