docker-ci-for-pr

Initial boehm_treeTheory (up to dhnf_cases) #104

Sign in to view logs

Triggered via pull request October 25, 2023 00:31

binghe

synchronize #1157

binghe:boehm_tree.1

Status Success

Total duration 1h 25m 9s

Artifacts –

docker-ci-for-pr.yml

on: pull_request