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
14,612 workflow runs
14,612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR title for commit convention Check PR title for commit convention #14470: Merge group checks requested
January 28, 2025 10:13 13s
January 28, 2025 10:13 13s
feat: add BitVec.(getElem_umod_of_lt, getElem_umod, getLsbD_umod, getMsbD_umod) Check PR title for commit convention #14469: Pull request #6795 synchronize by luisacicolini
January 28, 2025 09:39 10s opencompl:umod-lsb-msb
opencompl:umod-lsb-msb
January 28, 2025 09:39 10s
feat: add BitVec.(getElem_umod_of_lt, getElem_umod, getLsbD_umod, getMsbD_umod) Check PR title for commit convention #14468: Pull request #6795 synchronize by luisacicolini
January 28, 2025 09:32 9s opencompl:umod-lsb-msb
opencompl:umod-lsb-msb
January 28, 2025 09:32 9s
feat: add SMT-LIB overflow on addition for bitvectors (uadd_overflow,sadd_overflow, uadd_overflow_eq,sadd_overflow_eq) and support theorems Check PR title for commit convention #14467: Pull request #6628 synchronize by luisacicolini
January 28, 2025 09:05 9s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 28, 2025 09:05 9s
chore: temporarily disable async in server Check PR title for commit convention #14466: Pull request #6813 opened by Kha
January 28, 2025 09:02 11s Kha:push-kwrqtpvzrqtv
Kha:push-kwrqtpvzrqtv
January 28, 2025 09:02 11s
feat: add BitVec.(getMsbD, msb)_replicate, replicate_one Check PR title for commit convention #14465: Pull request #6326 synchronize by luisacicolini
January 28, 2025 08:51 9s opencompl:msb-replicate
opencompl:msb-replicate
January 28, 2025 08:51 9s
Check PR title for commit convention Check PR title for commit convention #14464: Merge group checks requested
January 28, 2025 08:48 11s
January 28, 2025 08:48 11s
chore: remove unnecessary simp priorities Check PR title for commit convention #14463: Pull request #6812 opened by kim-em
January 28, 2025 06:49 8s rm_simp_priorities
rm_simp_priorities
January 28, 2025 06:49 8s
feat: allow simp priority explanations Check PR title for commit convention #14462: Pull request #6811 opened by kim-em
January 28, 2025 05:59 11s simp_priority_explanations
simp_priority_explanations
January 28, 2025 05:59 11s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx Check PR title for commit convention #14461: Pull request #6800 synchronize by kim-em
January 28, 2025 04:22 10s zipIdx
zipIdx
January 28, 2025 04:22 10s
Check PR title for commit convention Check PR title for commit convention #14460: Merge group checks requested
January 28, 2025 04:17 9s
January 28, 2025 04:17 9s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx Check PR title for commit convention #14459: Pull request #6800 synchronize by kim-em
January 28, 2025 04:17 10s zipIdx
zipIdx
January 28, 2025 04:17 10s
feat: add grind? Check PR title for commit convention #14458: Pull request #6810 opened by leodemoura
January 28, 2025 03:58 8s grind_trace_step2
grind_trace_step2
January 28, 2025 03:58 8s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx Check PR title for commit convention #14457: Pull request #6800 synchronize by kim-em
January 28, 2025 03:35 13s zipIdx
zipIdx
January 28, 2025 03:35 13s
chore: don't export Trans.trans Check PR title for commit convention #14456: Pull request #6809 opened by kim-em
January 28, 2025 02:02 13s dont_export_trans_trans
dont_export_trans_trans
January 28, 2025 02:02 13s
Check PR title for commit convention Check PR title for commit convention #14455: Merge group checks requested
January 28, 2025 02:00 11s
January 28, 2025 02:00 11s
Check PR title for commit convention Check PR title for commit convention #14454: Merge group checks requested
January 28, 2025 02:00 14s
January 28, 2025 02:00 14s
Check PR title for commit convention Check PR title for commit convention #14453: Merge group checks requested
January 28, 2025 02:00 10s
January 28, 2025 02:00 10s
Check PR title for commit convention Check PR title for commit convention #14452: Merge group checks requested
January 28, 2025 01:55 9s
January 28, 2025 01:55 9s
Check PR title for commit convention Check PR title for commit convention #14451: Merge group checks requested
January 28, 2025 01:43 9s
January 28, 2025 01:43 9s
Check PR title for commit convention Check PR title for commit convention #14450: Merge group checks requested
January 28, 2025 01:12 10s
January 28, 2025 01:12 10s
feat: rename List.enum(From) to List.zipIdx, and Array/Vector.zipWithIndex to zipIdx Check PR title for commit convention #14449: Pull request #6800 synchronize by kim-em
January 28, 2025 01:09 11s zipIdx
zipIdx
January 28, 2025 01:09 11s
feat: lemmas about BitVec.setWidth Check PR title for commit convention #14448: Pull request #6808 opened by kim-em
January 28, 2025 01:08 13s setwidth_lemmas
setwidth_lemmas
January 28, 2025 01:08 13s
feat: simp local confluence testing Check PR title for commit convention #14447: Pull request #5717 synchronize by kim-em
January 28, 2025 01:07 11s simplc
simplc
January 28, 2025 01:07 11s
chore: two BitVec lemmas that help simp confluence Check PR title for commit convention #14446: Pull request #6807 opened by kim-em
January 28, 2025 00:53 10s bitvec_simplc
bitvec_simplc
January 28, 2025 00:53 10s