Check PR title for commit convention

chore: Bump `mathlib` dependency to c8830a1 #2740

Sign in to view logs

Triggered via pull request June 14, 2026 20:36

mathlib-nightly-testing[bot]

edited #645

hopscotch/lkg-bump

Status Success

Total duration 6s

Artifacts –

pr-title.yml

on: pull_request