Skip to content
docker-ci-for-pr

[lambda] Boehm_transform_exists_lemma (Lemma 10.3.6 (ii) [1, p.247]) #202

Sign in to view logs

[lambda] Boehm_transform_exists_lemma (Lemma 10.3.6 (ii) [1, p.247])

[lambda] Boehm_transform_exists_lemma (Lemma 10.3.6 (ii) [1, p.247]) #202

Triggered via pull request March 9, 2024 02:51
@binghebinghe
synchronize #1205
binghe:Boehm_transform_exists_lemma
Status Success
Total duration 1h 0m 48s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
58m 3s
build-stdknl
build-expk
1h 0m
build-expk
Fit to window
Zoom out
Zoom in