Re-worked CCS with alpha-conversion over recursion operator #139
Triggered via pull request
January 8, 2024 12:57
binghe
Status
Success
Total duration
1h 0m 12s
Artifacts
–
docker-ci-for-pr.yml
on: pull_request
build-stdknl
57m 25s
build-expk
1h 0m