Skip to content
Unsoundness checks

feat: Improve error message on failed custom op validation (#1416) #728

Sign in to view logs

feat: Improve error message on failed custom op validation (#1416)

feat: Improve error message on failed custom op validation (#1416) #728

Triggered via push August 12, 2024 13:53
@github-merge-queuegithub-merge-queue[bot]
pushed 6639c52
main
Status Success
Total duration 32m 26s
Artifacts –

unsoundness.yml

on: push
Miri
32m 17s
Miri
Fit to window
Zoom out
Zoom in