Skip to content
Unsoundness checks

fix: Correctly detect custom ops by name (#281) #170

Sign in to view logs

fix: Correctly detect custom ops by name (#281)

fix: Correctly detect custom ops by name (#281) #170

Triggered via push January 8, 2024 12:21
@github-merge-queuegithub-merge-queue[bot]
pushed d44ac89
main
Status Success
Total duration 7m 35s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

unsoundness.yml

on: push
Miri
7m 25s
Miri
Fit to window
Zoom out
Zoom in