Skip to content

Actions: leanprover/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
32,903 workflow runs
32,903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: lemmas for String.split by a character or character predicate Check PR body for changelog convention #35301: Pull request #12723 opened by TwoFX
7s TwoFX:split-api
TwoFX:split-api
7s
feat: lemmas for String.split by a character or character predicate Check PR body for changelog convention #35300: Pull request #12723 labeled by TwoFX
8s TwoFX:split-api
TwoFX:split-api
8s
fix: improve C++ compatibility for older compilers Check PR body for changelog convention #35299: Pull request #12722 edited by joehendrix
8s joehendrix:jhx/old_compiler
joehendrix:jhx/old_compiler
8s
Check PR body for changelog convention Check PR body for changelog convention #35298: Merge group checks requested
6s
6s
chore: prefer cons_cons over cons₂ in names Check PR body for changelog convention #35297: Pull request #12710 synchronize by TwoFX
7s TwoFX:cons2
TwoFX:cons2
7s
Check PR body for changelog convention Check PR body for changelog convention #35296: Merge group checks requested
8s
8s
perf: non quadratic closed term initialization for closed array literals Check PR body for changelog convention #35295: Pull request #12715 ready_for_review by hargoniX
9s hbv/non_quadratic_closed_array
hbv/non_quadratic_closed_array
9s
fix: improve C++ compatibility for older compilers Check PR body for changelog convention #35294: Pull request #12722 opened by joehendrix
5s joehendrix:jhx/old_compiler
joehendrix:jhx/old_compiler
5s
perf: non quadratic closed term initialization for closed array literals Check PR body for changelog convention #35293: Pull request #12715 labeled by hargoniX
5s hbv/non_quadratic_closed_array
hbv/non_quadratic_closed_array
5s
perf: non quadratic closed term initialization for closed array literals Check PR body for changelog convention #35292: Pull request #12715 edited by hargoniX
9s hbv/non_quadratic_closed_array
hbv/non_quadratic_closed_array
9s
chore: prefer cons_cons over cons₂ in names Check PR body for changelog convention #35291: Pull request #12710 ready_for_review by TwoFX
7s TwoFX:cons2
TwoFX:cons2
7s
chore: prefer cons_cons over cons₂ in names Check PR body for changelog convention #35290: Pull request #12710 synchronize by TwoFX
5s TwoFX:cons2
TwoFX:cons2
5s
chore: prefer cons_cons over cons₂ in names Check PR body for changelog convention #35289: Pull request #12710 labeled by mathlib-lean-pr-testing bot
Action required TwoFX:cons2
TwoFX:cons2
Action required
Check PR body for changelog convention Check PR body for changelog convention #35288: Merge group checks requested
8s
8s
feat: lake: download artifacts on demand Check PR body for changelog convention #35287: Pull request #12634 synchronize by tydeu
8s tydeu:lake/lazy-cache-get
tydeu:lake/lazy-cache-get
8s
feat: add Meta.synthInstance.apply trace class Check PR body for changelog convention #35286: Pull request #12699 synchronize by kim-em
8s kim-em:kim/synthInstance-apply-trace-class
kim-em:kim/synthInstance-apply-trace-class
8s
test: speed up Sym mvcgen by doing fewer redundant program matches Check PR body for changelog convention #35285: Pull request #12712 synchronize by sgraf812
5s sg/mvcgen-faster-specs
sg/mvcgen-faster-specs
5s
chore: deprecate levelZero and levelOne Check PR body for changelog convention #35284: Pull request #12720 opened by kim-em
8s kim-em:rm-levelZero
kim-em:rm-levelZero
8s
feat: add pp.fvars.anonymous option Check PR body for changelog convention #35283: Pull request #12688 edited by kim-em
5s kim-em:kim/pp-fvars-anonymous
kim-em:kim/pp-fvars-anonymous
5s
feat: add pp.fvars.anonymous option Check PR body for changelog convention #35282: Pull request #12688 labeled by kim-em
9s kim-em:kim/pp-fvars-anonymous
kim-em:kim/pp-fvars-anonymous
9s
feat: generalize below and brecOn on subsingletons Check PR body for changelog convention #35281: Pull request #12718 labeled by mathlib-lean-pr-testing bot
10s arthur-adjedj:below_subsingletons
arthur-adjedj:below_subsingletons
10s
Check PR body for changelog convention Check PR body for changelog convention #35280: Merge group checks requested
7s
7s
Check PR body for changelog convention Check PR body for changelog convention #35279: Merge group checks requested
7s
7s
fix: set implicitReducible on grandparent subobject projections Check PR body for changelog convention #35278: Pull request #12701 labeled by kim-em
8s kim-em:kim/grandparent-implicit-reducible
kim-em:kim/grandparent-implicit-reducible
8s
fix: mark levelZero, levelOne, and Level.ofNat as implicit_reducible Check PR body for changelog convention #35277: Pull request #12719 labeled by kim-em
6s kim-em:reducible-level
kim-em:reducible-level
6s