Check PR title for commit convention

feat: incremental elaboration of definition headers, bodies, and tactics #4395

Sign in to view logs

Triggered via pull request May 9, 2024 20:09

Kha

synchronize #3940

Kha:incr-tactic

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request