Check PR Title

chore: Add Miri workflow #478

Sign in to view logs

Triggered via pull request July 5, 2024 21:58

andygrove

edited #636

andygrove:miri

Status Success

Total duration 10s

Artifacts –

pr_title_check.yml

on: pull_request