Skip to content
Unsoundness checks

fix(py): allow conditional cases to be defined out of order (#1599) #834

Sign in to view logs

fix(py): allow conditional cases to be defined out of order (#1599)

fix(py): allow conditional cases to be defined out of order (#1599) #834

Triggered via push October 23, 2024 10:17
@github-merge-queuegithub-merge-queue[bot]
pushed 583d21d
main
Status Success
Total duration 50m 21s
Artifacts –

unsoundness.yml

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