Skip to content
docker-ci-for-pr

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

Sign in to view logs

Re-worked CCS with alpha-conversion over recursion operator

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

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

docker-ci-for-pr.yml

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