Skip to content
Unsoundness checks

fix: Do not require matching extension_reqs when creating a replaceme… #581

Sign in to view logs

fix: Do not require matching extension_reqs when creating a replaceme…

fix: Do not require matching extension_reqs when creating a replaceme… #581

Triggered via push June 7, 2024 12:13
@github-merge-queuegithub-merge-queue[bot]
pushed 68595c8
main
Status Failure
Total duration 1m 41s
Artifacts –

unsoundness.yml

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

Annotations

1 error
Miri
Process completed with exit code 1.