docker-ci-for-pr

Improved support of mutually (recursive) nominal datatypes #615

Sign in to view logs

Triggered via pull request March 7, 2025 05:28

binghe

synchronize #1421

binghe:nomdatatype_and_pi

Status Success

Total duration 2h 1m 56s

Artifacts –

docker-ci-for-pr.yml

on: pull_request