Skip to content
Unsoundness checks

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

Sign in to view logs

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

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

Triggered via push September 3, 2024 09:31
@github-merge-queuegithub-merge-queue[bot]
pushed be9e2be
main
Status Success
Total duration 38m 23s
Artifacts –

unsoundness.yml

on: push
Miri
37m 54s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Miri
Failed to restore: Cache service responded with 429