Check PR Title

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

Sign in to view logs

Triggered via pull request May 22, 2026 20:25

andygrove

opened #4411

andygrove:ci-miri-nightly

Status Success

Total duration 11s

Artifacts –

pr_title_check.yml

on: pull_request