docker-ci-for-pr

Stage work on λ-calculus (Böhm transform and head original terms) #130

Sign in to view logs

Triggered via pull request December 5, 2023 04:41

binghe

opened #1169

binghe:Boehm_transform_is_ready

Status Success

Total duration 55m 9s

Artifacts –

docker-ci-for-pr.yml

on: pull_request