Check PR title for commit convention

fix: make `rcases` tactic collect new goals #9984

Sign in to view logs

Triggered via pull request October 9, 2024 05:16

kmill

synchronize #5024

kmill:fix_4331

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request