Skip to content
Unsoundness checks

Avoid running unnecessary checks in the merge queue (#404) #120

Sign in to view logs

Avoid running unnecessary checks in the merge queue (#404)

Avoid running unnecessary checks in the merge queue (#404) #120

Triggered via push August 14, 2023 09:17
@github-merge-queuegithub-merge-queue[bot]
pushed 033a805
main
Status Success
Total duration 4m 3s
Artifacts –

unsoundness.yml

on: push
Miri
3m 54s
Miri
Fit to window
Zoom out
Zoom in