Skip to content

Actions: leanprover/cslib

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
1,919 workflow runs
1,919 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: use INFO=true for weekly linting Check PR title for commit convention #2136: Pull request #526 opened by chenson2018
8s weekly-lint-info
weekly-lint-info
8s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2135: Pull request #401 synchronize by kim-em
7s kim-em:combined-query-complexity
kim-em:combined-query-complexity
7s
feat(Query): query complexity framework with sorting examples Check PR title for commit convention #2134: Pull request #401 synchronize by kim-em
6s kim-em:combined-query-complexity
kim-em:combined-query-complexity
6s
refactor: change the simpNF for FreeM Check PR title for commit convention #2133: Pull request #417 edited by eric-wieser
9s eric-wieser/freeM-simpNF
eric-wieser/freeM-simpNF
9s
refactor: change the simpNF for FreeM Check PR title for commit convention #2132: Pull request #417 synchronize by eric-wieser
8s eric-wieser/freeM-simpNF
eric-wieser/freeM-simpNF
8s
chore: make trivial definitions unfold Check PR title for commit convention #2131: Pull request #525 edited by eric-wieser
6s eric-wieser:effects-abbrev
eric-wieser:effects-abbrev
6s
chore: make trivial definitions unfold Check PR title for commit convention #2130: Pull request #525 synchronize by eric-wieser
10s eric-wieser:effects-abbrev
eric-wieser:effects-abbrev
10s
chore: make trivial definitions unfold Check PR title for commit convention #2129: Pull request #525 opened by eric-wieser
7s eric-wieser:effects-abbrev
eric-wieser:effects-abbrev
7s
Check PR title for commit convention Check PR title for commit convention #2128: Merge group checks requested
8s
8s
chore: Bump mathlib dependency to 25b7ac7 Check PR title for commit convention #2127: Pull request #524 opened by mathlib-nightly-testing Bot
7s hopscotch/lkg-bump
hopscotch/lkg-bump
7s
Feat(Cryptography): Signed Barrett reduction algorithm Check PR title for commit convention #2126: Pull request #523 opened by atrieu
Action required atrieu:alix/signed_barrett
atrieu:alix/signed_barrett
Action required
chore: update mathlib Check PR title for commit convention #2125: Pull request #522 synchronize by eric-wieser
7s eric-wieser:bump-mathlib
eric-wieser:bump-mathlib
7s
chore: update mathlib Check PR title for commit convention #2124: Pull request #522 edited by eric-wieser
7s eric-wieser:bump-mathlib
eric-wieser:bump-mathlib
7s
chore: update mathlib Check PR title for commit convention #2123: Pull request #522 opened by eric-wieser
7s eric-wieser:bump-mathlib
eric-wieser:bump-mathlib
7s
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction Check PR title for commit convention #2122: Pull request #475 synchronize by zayn7lie
10s zayn7lie:main
zayn7lie:main
10s
feat: add Logics/Propositional/NaturalDeduction/* Check PR title for commit convention #2121: Pull request #91 synchronize by thomaskwaring
8s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
8s
feat: add Logics/Propositional/NaturalDeduction/* Check PR title for commit convention #2120: Pull request #91 synchronize by thomaskwaring
30m 54s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
30m 54s
chore: adaptations for nightly-2026-04-27 Check PR title for commit convention #2119: Pull request #521 opened by mathlib-nightly-testing Bot
9s bump/nightly-2026-04-27
bump/nightly-2026-04-27
9s
chore: Bump mathlib dependency to 1727d01 Check PR title for commit convention #2118: Pull request #512 edited by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: adaptations for nightly-2026-04-25 Check PR title for commit convention #2117: Pull request #520 opened by mathlib-nightly-testing Bot
8s bump/nightly-2026-04-25
bump/nightly-2026-04-25
8s
feat: proof of Myhill-Nerode theorem for DFAs Check PR title for commit convention #2116: Pull request #491 synchronize by ctchou
9s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
9s
chore: Bump mathlib dependency to 1727d01 Check PR title for commit convention #2115: Pull request #512 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
feat: add Logics/Propositional/NaturalDeduction/* Check PR title for commit convention #2114: Pull request #91 synchronize by thomaskwaring
5s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
5s
feat: add Logics/Propositional/NaturalDeduction/* Check PR title for commit convention #2113: Pull request #91 synchronize by thomaskwaring
7s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
7s
feat: add Logics/Propositional/NaturalDeduction/* Check PR title for commit convention #2112: Pull request #91 synchronize by thomaskwaring
5s thomaskwaring:nj-deduction
thomaskwaring:nj-deduction
5s