Check PR title for commit convention

chore: Bump `mathlib` dependency to eb15deb #2559

Sign in to view logs

Triggered via pull request June 1, 2026 21:22

mathlib-nightly-testing[bot]

synchronize #598

hopscotch/lkg-bump

Status Success

Total duration 7s

Artifacts –

pr-title.yml

on: pull_request