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,437 workflow runs
2,437 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
feat(FLP): some technical machineries for reasoning about diamond and fairness properties Check PR title for commit convention #2758: Pull request #612 synchronize by ctchou
8s ctchou:flp-technical
ctchou:flp-technical
8s
feat(FLP): show that asynchronous distributed consensus is possible when there is no fault Check PR title for commit convention #2757: Pull request #619 synchronize by ctchou
14s ctchou:flp-zero
ctchou:flp-zero
14s
feat(Control/Monad): Weakest preconditions and mcvgen for free monads Check PR title for commit convention #2756: Pull request #604 synchronize by tannerduve
6s tannerduve:feat/free-logic
tannerduve:feat/free-logic
6s
feat(Logics/Propositional): further API for manipulating theories in natural deduction Check PR title for commit convention #2755: Pull request #542 synchronize by thomaskwaring
8s thomaskwaring:nj-theories-cont
thomaskwaring:nj-theories-cont
8s
feat(Logics/Propositional): further API for manipulating theories in natural deduction Check PR title for commit convention #2754: Pull request #542 synchronize by thomaskwaring
18m 4s thomaskwaring:nj-theories-cont
thomaskwaring:nj-theories-cont
18m 4s
Check PR title for commit convention Check PR title for commit convention #2753: Merge group checks requested
6s
6s
chore: bump toolchain to v4.31.0 Check PR title for commit convention #2752: Pull request #651 opened by Garmelon
17s bump-to-v4.31.0
bump-to-v4.31.0
17s
feat(Logics/Propositional): five-primitive formula type with connective typeclasses Check PR title for commit convention #2751: Pull request #648 edited by benbrastmckie
14s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
14s
feat(Automata): Transducers Check PR title for commit convention #2750: Pull request #650 synchronize by fmontesi
13s transducer
transducer
13s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2749: Pull request #536 synchronize by thomaskwaring
8s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
8s
refactor(Logics/Propositional): classical and intuitionistic inference systems Check PR title for commit convention #2748: Pull request #536 synchronize by thomaskwaring
11s thomaskwaring:nj-theories-fresh
thomaskwaring:nj-theories-fresh
11s
feat(Automata): Transducers Check PR title for commit convention #2747: Pull request #650 opened by fmontesi
7s transducer
transducer
7s
feat(Logics/Propositional): five-primitive formula type with connective typeclasses Check PR title for commit convention #2746: Pull request #648 edited by benbrastmckie
6s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
6s
feat(Logics/Temporal): temporal formula type with propositional structure Check PR title for commit convention #2745: Pull request #649 synchronize by benbrastmckie
8s benbrastmckie:feat/temporal-formula-propositional
benbrastmckie:feat/temporal-formula-propositional
8s
feat(Logics/Temporal): temporal formula type with propositional structure Check PR title for commit convention #2744: Pull request #649 opened by benbrastmckie
7s benbrastmckie:feat/temporal-formula-propositional
benbrastmckie:feat/temporal-formula-propositional
7s
feat(Logics/Propositional): five-primitive formula type with connective typeclasses Check PR title for commit convention #2743: Pull request #648 synchronize by benbrastmckie
9s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
9s
feat(Logics/Propositional): five-primitive formula type with connective typeclasses Check PR title for commit convention #2742: Pull request #648 opened by benbrastmckie
11s benbrastmckie:feat/propositional-v2
benbrastmckie:feat/propositional-v2
11s
chore: Bump mathlib dependency to 6923f2f Check PR title for commit convention #2741: Pull request #645 synchronize by mathlib-nightly-testing Bot
11s hopscotch/lkg-bump
hopscotch/lkg-bump
11s
chore: Bump mathlib dependency to 6923f2f Check PR title for commit convention #2740: Pull request #645 edited by mathlib-nightly-testing Bot
6s hopscotch/lkg-bump
hopscotch/lkg-bump
6s
feat(Logics/Propositional): five-primitive formula type with connective typeclasses Check PR title for commit convention #2739: Pull request #647 opened by benbrastmckie
11s benbrastmckie:feat/propositional-five-primitive
benbrastmckie:feat/propositional-five-primitive
11s
feat(Automata, LTS, TM): Introduce LTS.SMTr and LTS.mapLabel, generalise TM tapes to arbitrary universes, fix EpsilonNA, and introduce their single-accept transformation Check PR title for commit convention #2738: Pull request #625 synchronize by fmontesi
7s fmontesi/ena
fmontesi/ena
7s
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction Check PR title for commit convention #2737: Pull request #475 synchronize by zayn7lie
5s zayn7lie:main
zayn7lie:main
5s
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction Check PR title for commit convention #2736: Pull request #475 synchronize by zayn7lie
5s zayn7lie:main
zayn7lie:main
5s
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction Check PR title for commit convention #2735: Pull request #475 synchronize by zayn7lie
5s zayn7lie:main
zayn7lie:main
5s
feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction Check PR title for commit convention #2734: Pull request #475 synchronize by zayn7lie
7s zayn7lie:main
zayn7lie:main
7s