Check that all test suites are added to PR workflows

ci: run miri nightly instead of on every push and PR (#4411) #4539

Sign in to view logs

Triggered via push May 22, 2026 21:16

andygrove

main

Status Success

Total duration 11s

Artifacts –

pr_missing_suites.yml

on: push

check-missing-suites