Skip to content
Unsoundness checks

fix: Ignore unsupported test in miri (#794) #361

Sign in to view logs

fix: Ignore unsupported test in miri (#794)

fix: Ignore unsupported test in miri (#794) #361

Triggered via push January 9, 2024 15:13
@github-merge-queuegithub-merge-queue[bot]
pushed 3930f10
main
Status Success
Total duration 15m 17s
Artifacts –

unsoundness.yml

on: push
Miri
15m 5s
Miri
Fit to window
Zoom out
Zoom in