Skip to content
Unsoundness checks

feat!: update to hugr 0.13.0 (#645) #403

Sign in to view logs

feat!: update to hugr 0.13.0 (#645)

feat!: update to hugr 0.13.0 (#645) #403

Triggered via push October 9, 2024 15:12
@github-merge-queuegithub-merge-queue[bot]
pushed a837837
main
Status Success
Total duration 16m 24s
Artifacts –

unsoundness.yml

on: push
Miri
16m 15s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 notice
sccache stats
0% - 0 hits, 0 misses, 0 errors