Skip to content
docker-ci-for-pr

Continued developments up to Separability Lemma [Barendregt 1984, p.254] #122

Sign in to view logs

Continued developments up to Separability Lemma [Barendregt 1984, p.254]

Continued developments up to Separability Lemma [Barendregt 1984, p.254] #122

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
54m 48s
build-stdknl
53m 20s
1h 48m 8s