Def prTitle

Modification history

2026-05-31 20:29

Mathlib/Tactic/Linter/ValidatePRTitle.lean

feat(CI): validate PR titles more strictly (#39680) …

Modified prTitle View on Github →

2025-11-19 14:54

Mathlib/Tactic/Linter/ValidatePRTitle.lean

feat: check for PR titles which do not start with "feat" etc. (#29512) …

Added prTitle View on Github →