Skip to content
Check that all test suites are added to PR workflows

ci: run miri nightly instead of on every push and PR #4535

Sign in to view logs

ci: run miri nightly instead of on every push and PR

ci: run miri nightly instead of on every push and PR #4535

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-missing-suites
7s
7s