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
2,051 workflow runs
2,051 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: WF.EqnInfo.hasInduct Check PR body for changelog convention #1951: Pull request #6357 opened by nomeata
December 10, 2024 14:18 19s joachim/eqninfos-hasInduct
joachim/eqninfos-hasInduct
December 10, 2024 14:18 19s
refactor: WF.EqnInfo.hasInduct Check PR body for changelog convention #1950: Pull request #6357 labeled by nomeata
December 10, 2024 14:18 11s joachim/eqninfos-hasInduct
joachim/eqninfos-hasInduct
December 10, 2024 14:18 11s
refactor: make mkInhabitantFor error message configurable Check PR body for changelog convention #1949: Pull request #6356 opened by nomeata
December 10, 2024 14:12 3m 59s joachim/mkInhabitantFor-error
joachim/mkInhabitantFor-error
December 10, 2024 14:12 3m 59s
refactor: make mkInhabitantFor error message configurable Check PR body for changelog convention #1948: Pull request #6356 labeled by nomeata
December 10, 2024 14:12 4m 6s joachim/mkInhabitantFor-error
joachim/mkInhabitantFor-error
December 10, 2024 14:12 4m 6s
feat: partial functions with equations Check PR body for changelog convention #1947: Pull request #6355 synchronize by nomeata
December 10, 2024 14:10 5m 59s joachim/tailrec
joachim/tailrec
December 10, 2024 14:10 5m 59s
feat: importModules without loading environment extensions Check PR body for changelog convention #1946: Pull request #6325 synchronize by Kha
December 10, 2024 12:59 13s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:59 13s
feat: importModules without loading environment extensions Check PR body for changelog convention #1945: Pull request #6325 synchronize by Kha
December 10, 2024 12:55 11s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:55 11s
feat: importModules without loading environment extensions Check PR body for changelog convention #1944: Pull request #6325 synchronize by Kha
December 10, 2024 12:54 12s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 12:54 12s
feat: partial functions with equations Check PR body for changelog convention #1943: Pull request #6355 labeled by leanprover-community-bot
December 10, 2024 12:38 11s joachim/tailrec
joachim/tailrec
December 10, 2024 12:38 11s
feat: partial functions with equations Check PR body for changelog convention #1942: Pull request #6355 opened by nomeata
December 10, 2024 12:17 14s joachim/tailrec
joachim/tailrec
December 10, 2024 12:17 14s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1941: Pull request #3696 labeled by leanprover-community-bot
December 10, 2024 10:57 13s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 10:57 13s
feat: importModules without loading environment extensions Check PR body for changelog convention #1940: Pull request #6325 synchronize by Kha
December 10, 2024 10:55 11s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 10, 2024 10:55 11s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check PR body for changelog convention #1939: Pull request #6326 synchronize by luisacicolini
December 10, 2024 09:45 17s opencompl:msb-replicate
opencompl:msb-replicate
December 10, 2024 09:45 17s
Check PR body for changelog convention Check PR body for changelog convention #1938: Merge group checks requested
December 10, 2024 09:24 13s
December 10, 2024 09:24 13s
feat: generalize panic to Sort Check PR body for changelog convention #1937: Pull request #6333 ready_for_review by tydeu
December 10, 2024 09:14 9s tydeu:sort-panic
tydeu:sort-panic
December 10, 2024 09:14 9s
chore: alignment of Array.any/all lemmas with List Check PR body for changelog convention #1936: Pull request #6353 synchronize by kim-em
December 10, 2024 09:09 12s array_any
array_any
December 10, 2024 09:09 12s
Check PR body for changelog convention Check PR body for changelog convention #1935: Merge group checks requested
December 10, 2024 08:46 8s
December 10, 2024 08:46 8s
chore: alignment of Array.any/all lemmas with List Check PR body for changelog convention #1934: Pull request #6353 labeled by kim-em
December 10, 2024 08:44 9s array_any
array_any
December 10, 2024 08:44 9s
chore: alignment of Array.any/all lemmas with List Check PR body for changelog convention #1933: Pull request #6353 opened by kim-em
December 10, 2024 08:44 12s array_any
array_any
December 10, 2024 08:44 12s
Check PR body for changelog convention Check PR body for changelog convention #1932: Merge group checks requested
December 10, 2024 08:37 10s
December 10, 2024 08:37 10s
feat: generalize panic to Sort Check PR body for changelog convention #1931: Pull request #6333 labeled by leanprover-community-bot
December 10, 2024 06:05 10s tydeu:sort-panic
tydeu:sort-panic
December 10, 2024 06:05 10s
feat: generalize panic to Sort Check PR body for changelog convention #1930: Pull request #6333 synchronize by tydeu
December 10, 2024 05:01 16s tydeu:sort-panic
tydeu:sort-panic
December 10, 2024 05:01 16s
feat: Nat.shiftRight_bitwise_distrib Check PR body for changelog convention #1929: Pull request #6334 labeled by leanprover-community-bot
December 10, 2024 04:59 13s tydeu:nat-shiftRight-bitwise-distrib
tydeu:nat-shiftRight-bitwise-distrib
December 10, 2024 04:59 13s
feat: Nat.shiftRight_bitwise_distrib Check PR body for changelog convention #1928: Pull request #6334 synchronize by tydeu
December 10, 2024 04:01 9s tydeu:nat-shiftRight-bitwise-distrib
tydeu:nat-shiftRight-bitwise-distrib
December 10, 2024 04:01 9s
feat: do not propagate pretty printer errors through messages Check PR body for changelog convention #1927: Pull request #3696 edited by tydeu
December 10, 2024 03:58 13s tydeu:pp-baseio
tydeu:pp-baseio
December 10, 2024 03:58 13s