Check PR title for commit convention

feat: add simple `Ordering` lemmas #14675

Sign in to view logs

Triggered via pull request January 30, 2025 16:00

datokrat

synchronize #6821

paul/ord-lemmas

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request