Check PR title for commit convention

fix: `IndPredBelow` should not add auxiliary declarations containing `sorry` #6029

Sign in to view logs

Triggered via pull request June 25, 2024 20:42

leodemoura

opened #4563

issue_4535

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request