Skip to content
docker-ci-for-pr

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

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] #120

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-stdknl
53m 18s
build-expk
56m 13s
1h 49m 31s