Skip to content
docker-ci-for-pr

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

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

Triggered via pull request November 28, 2023 02:38
@binghebinghe
synchronize #1167
binghe:separability_lemma
Status Success
Total duration 56m 8s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
53m 51s
build-stdknl
build-expk
55m 2s
build-expk
Fit to window
Zoom out
Zoom in