Skip to content
docker-ci-for-pr

Re-worked CCS with alpha-conversion over recursion operator #140

Sign in to view logs

Re-worked CCS with alpha-conversion over recursion operator

Re-worked CCS with alpha-conversion over recursion operator #140

Triggered via pull request January 9, 2024 11:11
@binghebinghe
synchronize #1176
binghe:CCS_alpha
Status Success
Total duration 59m 25s
Artifacts –

docker-ci-for-pr.yml

on: pull_request
build-stdknl
57m 34s
build-stdknl
build-expk
59m 16s
build-expk
Fit to window
Zoom out
Zoom in