Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
9,056 workflow runs
9,056 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: localize universe metavariable errors at let bindings and fun binders Check PR title for commit convention #9064: Pull request #5402 edited by kmill
September 21, 2024 17:34 10s kmill:univ_mvar_errors
kmill:univ_mvar_errors
September 21, 2024 17:34 10s
feat: localize universe metavariable errors at let bindings and fun binders Check PR title for commit convention #9063: Pull request #5402 synchronize by kmill
September 21, 2024 17:28 14s kmill:univ_mvar_errors
kmill:univ_mvar_errors
September 21, 2024 17:28 14s
feat: expose Kernel.check for debugging purposes Check PR title for commit convention #9062: Pull request #5412 synchronize by nomeata
September 21, 2024 09:55 11s joachim/Kernel.check
joachim/Kernel.check
September 21, 2024 09:55 11s
feat: expose Kernel.check for debugging purposes Check PR title for commit convention #9061: Pull request #5412 opened by nomeata
September 21, 2024 09:40 13s joachim/Kernel.check
joachim/Kernel.check
September 21, 2024 09:40 13s
feat: BitVec.toNat_{add,sub,mul_of_lt} for BitVector non-overflow reasoning Check PR title for commit convention #9060: Pull request #5411 edited by bollu
September 20, 2024 21:26 16s opencompl:bitvec-non-overflow-lemmas
opencompl:bitvec-non-overflow-lemmas
September 20, 2024 21:26 16s
feat: add date and time functionality Check PR title for commit convention #9059: Pull request #4904 synchronize by algebraic-dev
September 20, 2024 17:44 10s algebraic-dev:master
algebraic-dev:master
September 20, 2024 17:44 10s
feat: add date and time functionality Check PR title for commit convention #9058: Pull request #4904 synchronize by algebraic-dev
September 20, 2024 17:29 12s algebraic-dev:master
algebraic-dev:master
September 20, 2024 17:29 12s
feat: add date and time functionality Check PR title for commit convention #9057: Pull request #4904 synchronize by algebraic-dev
September 20, 2024 17:13 13s algebraic-dev:master
algebraic-dev:master
September 20, 2024 17:13 13s
feat: add date and time functionality Check PR title for commit convention #9056: Pull request #4904 synchronize by algebraic-dev
September 20, 2024 17:10 10s algebraic-dev:master
algebraic-dev:master
September 20, 2024 17:10 10s
feat: BitVec.toNat_{add,sub,mul_of_lt} for BitVector non-overflow reasoning Check PR title for commit convention #9055: Pull request #5411 opened by bollu
September 20, 2024 16:59 14s opencompl:bitvec-non-overflow-lemmas
opencompl:bitvec-non-overflow-lemmas
September 20, 2024 16:59 14s
feat: add date and time functionality Check PR title for commit convention #9054: Pull request #4904 synchronize by algebraic-dev
September 20, 2024 16:54 14s algebraic-dev:master
algebraic-dev:master
September 20, 2024 16:54 14s
feat: BitVec analogues of Nat.{mul_two, two_mul, mul_succ, succ_mul} Check PR title for commit convention #9053: Pull request #5410 opened by bollu
September 20, 2024 15:38 13s opencompl:mul-two
opencompl:mul-two
September 20, 2024 15:38 13s
feat: qsort with proven bounds and correctness proof Check PR title for commit convention #9052: Pull request #5346 synchronize by lyphyser
September 20, 2024 13:39 16s lyphyser:qsort-with-proven-bounds
lyphyser:qsort-with-proven-bounds
September 20, 2024 13:39 16s
Check PR title for commit convention Check PR title for commit convention #9051: Merge group checks requested
September 20, 2024 11:47 14s
September 20, 2024 11:47 14s
chore: basic cleanups for bv_decide Check PR title for commit convention #9050: Pull request #5408 opened by hargoniX
September 20, 2024 11:28 11s hbv/bv_decide_cleanup
hbv/bv_decide_cleanup
September 20, 2024 11:28 11s
Check PR title for commit convention Check PR title for commit convention #9049: Merge group checks requested
September 20, 2024 08:25 10s
September 20, 2024 08:25 10s
refactor: back rfl tactic only via apply_rfl Check PR title for commit convention #9048: Pull request #3718 synchronize by nomeata
September 20, 2024 08:24 13s joachim/iff-rfl-attrib
joachim/iff-rfl-attrib
September 20, 2024 08:24 13s
chore: reverse direction of List.set_map Check PR title for commit convention #9047: Pull request #5405 opened by semorrison
September 20, 2024 07:02 10s map_set
map_set
September 20, 2024 07:02 10s
feat: theorems about List.toArray Check PR title for commit convention #9046: Pull request #5403 synchronize by semorrison
September 20, 2024 06:56 13s toArray_theorems
toArray_theorems
September 20, 2024 06:56 13s
feat: more of BitVec.getElem_* Check PR title for commit convention #9045: Pull request #5404 synchronize by tobiasgrosser
September 20, 2024 06:56 12s opencompl:more_get_elem
opencompl:more_get_elem
September 20, 2024 06:56 12s
feat: more of BitVec.getElem_* Check PR title for commit convention #9044: Pull request #5404 synchronize by tobiasgrosser
September 20, 2024 06:37 9s opencompl:more_get_elem
opencompl:more_get_elem
September 20, 2024 06:37 9s
feat: more of BitVec.getElem_* Check PR title for commit convention #9043: Pull request #5404 edited by tobiasgrosser
September 20, 2024 06:36 13s opencompl:more_get_elem
opencompl:more_get_elem
September 20, 2024 06:36 13s
feat: more of BitVec.getElem_* Check PR title for commit convention #9042: Pull request #5404 opened by tobiasgrosser
September 20, 2024 06:36 14s opencompl:more_get_elem
opencompl:more_get_elem
September 20, 2024 06:36 14s
Check PR title for commit convention Check PR title for commit convention #9041: Merge group checks requested
September 20, 2024 06:07 12s
September 20, 2024 06:07 12s
Check PR title for commit convention Check PR title for commit convention #9040: Merge group checks requested
September 20, 2024 06:06 12s
September 20, 2024 06:06 12s