Skip to content
Unsoundness checks

feat: DataflowParent trait for getting inner signatures (#782) #355

Sign in to view logs

feat: DataflowParent trait for getting inner signatures (#782)

feat: DataflowParent trait for getting inner signatures (#782) #355

Triggered via push January 8, 2024 12:13
@github-merge-queuegithub-merge-queue[bot]
pushed 16dce1e
main
Status Failure
Total duration 27m 58s
Artifacts –

unsoundness.yml

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

Annotations

1 error
Miri
Process completed with exit code 101.