Skip to content
Unsoundness checks

feat!: Make the rewrite errors more useful (#1174) #584

Sign in to view logs

feat!: Make the rewrite errors more useful (#1174)

feat!: Make the rewrite errors more useful (#1174) #584

Triggered via push June 7, 2024 15:20
@github-merge-queuegithub-merge-queue[bot]
pushed bb75522
main
Status Failure
Total duration 1m 37s
Artifacts –

unsoundness.yml

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

Annotations

1 error
Miri
Process completed with exit code 1.