Skip to content
Unsoundness checks

chore: Move hugr-model to a separate release group (#1612) #836

Sign in to view logs

chore: Move hugr-model to a separate release group (#1612)

chore: Move hugr-model to a separate release group (#1612) #836

Triggered via push October 24, 2024 09:54
@github-merge-queuegithub-merge-queue[bot]
pushed 8d9da5f
main
Status Success
Total duration 54m 16s
Artifacts –

unsoundness.yml

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