Skip to content

feat(hugr-cli)!: allow registry specification in run_dump #895

feat(hugr-cli)!: allow registry specification in run_dump

feat(hugr-cli)!: allow registry specification in run_dump #895

Triggered via pull request September 3, 2024 09:31
Status Success
Total duration 20s
Artifacts

drop-cache.yml

on: pull_request
drop-cache  /  cleanup
13s
drop-cache / cleanup
Fit to window
Zoom out
Zoom in