Check PR Title

chore: Add Miri workflow #477

Sign in to view logs

Triggered via pull request July 5, 2024 21:57

andygrove

edited #636

andygrove:miri

Status Success

Total duration 13s

Artifacts –

pr_title_check.yml

on: pull_request