Skip to content
Unsoundness checks

ci: Move file change filter definitions to a file (#988) #474

Sign in to view logs

ci: Move file change filter definitions to a file (#988)

ci: Move file change filter definitions to a file (#988) #474

Triggered via push May 1, 2024 16:42
@github-merge-queuegithub-merge-queue[bot]
pushed fc6f17f
main
Status Success
Total duration 13m 10s
Artifacts –

unsoundness.yml

on: push
Miri
12m 59s
Miri
Fit to window
Zoom out
Zoom in