Skip to content
Unsoundness checks

refactor: avoid dynamic dispatch for non-folding operations (#770) #348

Sign in to view logs

refactor: avoid dynamic dispatch for non-folding operations (#770)

refactor: avoid dynamic dispatch for non-folding operations (#770) #348

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

unsoundness.yml

on: push
Miri
26m 4s
Miri
Fit to window
Zoom out
Zoom in