docker-ci-for-pr

Böhm tree with basic properties #138

Sign in to view logs

Triggered via pull request January 4, 2024 04:18

binghe

opened #1175

binghe:Boehm_tree

Status Success

Total duration 55m 25s

Artifacts –

docker-ci-for-pr.yml

on: pull_request