Skip to content
Unsoundness checks

chore: devenv support for local coverage (#677) #294

Sign in to view logs

chore: devenv support for local coverage (#677)

chore: devenv support for local coverage (#677) #294

Triggered via push November 10, 2023 13:45
@github-merge-queuegithub-merge-queue[bot]
pushed 78faf6d
main
Status Success
Total duration 19m 29s
Artifacts –

unsoundness.yml

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