Skip to content
Unsoundness checks

fix: actually add the error type to prelude (#672) #293

Sign in to view logs

fix: actually add the error type to prelude (#672)

fix: actually add the error type to prelude (#672) #293

Triggered via push November 9, 2023 17:21
@github-merge-queuegithub-merge-queue[bot]
pushed b256c2b
main
Status Success
Total duration 18m 18s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

unsoundness.yml

on: push
Miri
18m 11s
Miri
Fit to window
Zoom out
Zoom in