Skip to content
Unsoundness checks

chore: specifcy hugr-model version (#1563) #803

Sign in to view logs

chore: specifcy hugr-model version (#1563)

chore: specifcy hugr-model version (#1563) #803

Triggered via push October 9, 2024 12:50
@github-merge-queuegithub-merge-queue[bot]
pushed cf7593a
main
Status Success
Total duration 51m 18s
Artifacts –

unsoundness.yml

on: push
Miri
51m 9s
Miri
Fit to window
Zoom out
Zoom in

Annotations

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