Skip to content
Unsoundness checks

feat(hugr-py): automatically add state order edges for inter-graph ed… #577

Sign in to view logs

feat(hugr-py): automatically add state order edges for inter-graph ed…

feat(hugr-py): automatically add state order edges for inter-graph ed… #577

Triggered via push June 6, 2024 13:46
@github-merge-queuegithub-merge-queue[bot]
pushed 5da06e1
main
Status Failure
Total duration 1m 32s
Artifacts –

unsoundness.yml

on: push
Miri
1m 21s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 1.