Skip to content
Unsoundness checks

feat(rust)!: rename crate to hugr (#914) #434

Sign in to view logs

feat(rust)!: rename crate to hugr (#914)

feat(rust)!: rename crate to hugr (#914) #434

Triggered via push April 3, 2024 17:20
@github-merge-queuegithub-merge-queue[bot]
pushed 0565fee
main
Status Success
Total duration 21m 2s
Artifacts –

unsoundness.yml

on: push
Miri
20m 31s
Miri
Fit to window
Zoom out
Zoom in

Annotations

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