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
2,030 workflow runs
2,030 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
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2298: Pull request #552 synchronize by mathlib-nightly-testing Bot
7s hopscotch/lkg-bump
hopscotch/lkg-bump
7s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2297: Pull request #552 edited by mathlib-nightly-testing Bot
9s hopscotch/lkg-bump
hopscotch/lkg-bump
9s
Feat(Cryptography): Signed Barrett reduction algorithm Check PR title for commit convention #2296: Pull request #523 synchronize by atrieu
Action required atrieu:alix/signed_barrett
atrieu:alix/signed_barrett
Action required
feat(Data/PFunctor): add free monad of a polynomial functor Check PR title for commit convention #2295: Pull request #477 synchronize by quangvdao
Action required quangvdao:quangvdao/pfunctor-freem
quangvdao:quangvdao/pfunctor-freem
Action required
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2294: Pull request #552 edited by mathlib-nightly-testing Bot
13s hopscotch/lkg-bump
hopscotch/lkg-bump
13s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2293: Pull request #552 synchronize by mathlib-nightly-testing Bot
14s hopscotch/lkg-bump
hopscotch/lkg-bump
14s
chore: adaptations for nightly-2026-05-14 Check PR title for commit convention #2292: Pull request #567 opened by mathlib-nightly-testing Bot
6s bump/nightly-2026-05-14
bump/nightly-2026-05-14
6s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2291: Pull request #552 synchronize by mathlib-nightly-testing Bot
8s hopscotch/lkg-bump
hopscotch/lkg-bump
8s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2290: Pull request #552 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
chore: adaptations for nightly-2026-05-13 Check PR title for commit convention #2289: Pull request #566 opened by mathlib-nightly-testing Bot
27s bump/nightly-2026-05-13
bump/nightly-2026-05-13
27s
feat: proof of Myhill-Nerode theorem for DFAs Check PR title for commit convention #2288: Pull request #491 synchronize by ctchou
8s akhilesh-balaji:myhill-nerode
akhilesh-balaji:myhill-nerode
8s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2287: Pull request #552 edited by mathlib-nightly-testing Bot
5s hopscotch/lkg-bump
hopscotch/lkg-bump
5s
chore: Bump mathlib dependency to 54f98fd Check PR title for commit convention #2286: Pull request #552 synchronize by mathlib-nightly-testing Bot
13s hopscotch/lkg-bump
hopscotch/lkg-bump
13s
Check PR title for commit convention Check PR title for commit convention #2285: Merge group checks requested
47s
47s
chore: adaptations for nightly-2026-05-12 Check PR title for commit convention #2284: Pull request #565 opened by mathlib-nightly-testing Bot
13s bump/nightly-2026-05-12
bump/nightly-2026-05-12
13s
Start general definitions for computation models Check PR title for commit convention #2283: Pull request #550 edited by kesslermaximilian
Action required kesslermaximilian:computation-model-typeclasses
kesslermaximilian:computation-model-typeclasses
Action required
Start general definitions for computation models Check PR title for commit convention #2282: Pull request #550 edited by kesslermaximilian
Action required kesslermaximilian:computation-model-typeclasses
kesslermaximilian:computation-model-typeclasses
Action required
Start general definitions for computation models Check PR title for commit convention #2281: Pull request #550 synchronize by kesslermaximilian
Action required kesslermaximilian:computation-model-typeclasses
kesslermaximilian:computation-model-typeclasses
Action required
Check PR title for commit convention Check PR title for commit convention #2280: Merge group checks requested
16s
16s
doc: fix missing '$' Check PR title for commit convention #2279: Pull request #564 edited by lengyijun
7s lengyijun:patch-1
lengyijun:patch-1
7s
doc: fix missing '$' Check PR title for commit convention #2278: Pull request #564 edited by lengyijun
12s lengyijun:patch-1
lengyijun:patch-1
12s
doc: fix missing '$' Check PR title for commit convention #2277: Pull request #564 edited by lengyijun
8s lengyijun:patch-1
lengyijun:patch-1
8s
doc: fix missing '$' Check PR title for commit convention #2276: Pull request #564 edited by lengyijun
14s lengyijun:patch-1
lengyijun:patch-1
14s
doc: fix missing '$' Check PR title for commit convention #2275: Pull request #564 synchronize by lengyijun
8s lengyijun:patch-1
lengyijun:patch-1
8s
doc: fix missing '$' Check PR title for commit convention #2274: Pull request #564 opened by lengyijun
6s lengyijun:patch-1
lengyijun:patch-1
6s