Skip to content
Unsoundness checks

docs: update spec for Row Variables and no-input-extensions (#1402) #747

Sign in to view logs

docs: update spec for Row Variables and no-input-extensions (#1402)

docs: update spec for Row Variables and no-input-extensions (#1402) #747

Triggered via push August 20, 2024 09:35
@github-merge-queuegithub-merge-queue[bot]
pushed 67f0668
main
Status Success
Total duration 38m 19s
Artifacts –

unsoundness.yml

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