Skip to content
Unsoundness checks

fix: include schema rather than read file (#807) #369

Sign in to view logs

fix: include schema rather than read file (#807)

fix: include schema rather than read file (#807) #369

Triggered via push January 15, 2024 13:34
@github-merge-queuegithub-merge-queue[bot]
pushed b7543db
main
Status Success
Total duration 23m 50s
Artifacts –

unsoundness.yml

on: push
Miri
23m 41s
Miri
Fit to window
Zoom out
Zoom in