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
1,667 workflow runs
1,667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1617: Pull request #6219 synchronize by algebraic-dev
December 3, 2024 13:37 14s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 13:37 14s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #1616: Pull request #5145 synchronize by Kha
December 3, 2024 13:08 15s Kha:kernel-env
Kha:kernel-env
December 3, 2024 13:08 15s
refactor: move registration of namespaces on kernel add into elaborator Check PR body for changelog convention #1615: Pull request #6214 synchronize by Kha
December 3, 2024 13:08 14s Kha:push-vwrqzpymymss
Kha:push-vwrqzpymymss
December 3, 2024 13:08 14s
Check PR body for changelog convention Check PR body for changelog convention #1614: Merge group checks requested
December 3, 2024 13:00 10s
December 3, 2024 13:00 10s
Check PR body for changelog convention Check PR body for changelog convention #1613: Merge group checks requested
December 3, 2024 12:42 8s
December 3, 2024 12:42 8s
Check PR body for changelog convention Check PR body for changelog convention #1612: Merge group checks requested
December 3, 2024 12:25 9s
December 3, 2024 12:25 9s
chore: clean up Elab.async handling Check PR body for changelog convention #1611: Pull request #6299 opened by Kha
December 3, 2024 12:21 13s Kha:push-pktzksxwmmvl
Kha:push-pktzksxwmmvl
December 3, 2024 12:21 13s
fix: propagate Simp.Config when reducing terms and checking definitional equality in simp Check PR body for changelog convention #1610: Pull request #6123 synchronize by kim-em
December 3, 2024 11:57 11s zetaPropagation
zetaPropagation
December 3, 2024 11:57 11s
experiment: induction principles for non-recursive functions Check PR body for changelog convention #1609: Pull request #6261 synchronize by nomeata
December 3, 2024 11:30 14s joachim/nonrec-induct
joachim/nonrec-induct
December 3, 2024 11:30 14s
chore: CMAKE_CXX_SYSROOT_FLAG is also needed for linking Check PR body for changelog convention #1608: Pull request #6297 edited by Kha
December 3, 2024 11:01 12s Kha:push-wmuoymknymqw
Kha:push-wmuoymknymqw
December 3, 2024 11:01 12s
feat: Add Array.sum Check PR body for changelog convention #1607: Pull request #6298 opened by alok
December 3, 2024 10:16 14s alok:array-sum
alok:array-sum
December 3, 2024 10:16 14s
chore: CMAKE_CXX_SYSROOT_FLAG is also needed for linking Check PR body for changelog convention #1606: Pull request #6297 labeled by Kha
December 3, 2024 10:12 11s Kha:push-wmuoymknymqw
Kha:push-wmuoymknymqw
December 3, 2024 10:12 11s
Check PR body for changelog convention Check PR body for changelog convention #1605: Merge group checks requested
December 3, 2024 09:37 11s
December 3, 2024 09:37 11s
chore: CMAKE_CXX_SYSROOT_FLAG is also needed for linking Check PR body for changelog convention #1604: Pull request #6297 opened by Kha
December 3, 2024 09:13 13s Kha:push-wmuoymknymqw
Kha:push-wmuoymknymqw
December 3, 2024 09:13 13s
feat: add Timer and a global event loop in a separate thread using LibUV Check PR body for changelog convention #1603: Pull request #6219 labeled by TwoFX
December 3, 2024 08:59 12s algebraic-dev:libuv
algebraic-dev:libuv
December 3, 2024 08:59 12s
feat: remove @[simp] from Fin.succ_zero_eq_one Check PR body for changelog convention #1602: Pull request #6292 labeled by leanprover-community-bot
December 3, 2024 05:51 9s fin_succ_zero_eq_one
fin_succ_zero_eq_one
December 3, 2024 05:51 9s
feat: abbrev produces theorems where appropriate Check PR body for changelog convention #1601: Pull request #6083 labeled by kim-em
December 3, 2024 05:27 9s abbrev_thm
abbrev_thm
December 3, 2024 05:27 9s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1600: Pull request #6278 labeled by kim-em
December 3, 2024 05:25 8s norm_cast_cfg
norm_cast_cfg
December 3, 2024 05:25 8s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1599: Pull request #6278 edited by kim-em
December 3, 2024 05:25 11s norm_cast_cfg
norm_cast_cfg
December 3, 2024 05:25 11s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1598: Pull request #6278 labeled by kim-em
December 3, 2024 05:24 10s norm_cast_cfg
norm_cast_cfg
December 3, 2024 05:24 10s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1597: Pull request #6278 ready_for_review by kim-em
December 3, 2024 05:01 13s norm_cast_cfg
norm_cast_cfg
December 3, 2024 05:01 13s
feat: remove @[simp] from Fin.succ_zero_eq_one Check PR body for changelog convention #1596: Pull request #6292 synchronize by kim-em
December 3, 2024 05:01 12s fin_succ_zero_eq_one
fin_succ_zero_eq_one
December 3, 2024 05:01 12s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1595: Pull request #6278 synchronize by kim-em
December 3, 2024 04:59 13s norm_cast_cfg
norm_cast_cfg
December 3, 2024 04:59 13s
feat: allow simp configs in norm_cast Check PR body for changelog convention #1594: Pull request #6278 synchronize by kim-em
December 3, 2024 04:54 12s norm_cast_cfg
norm_cast_cfg
December 3, 2024 04:54 12s
Check PR body for changelog convention Check PR body for changelog convention #1593: Merge group checks requested
December 3, 2024 04:42 12s
December 3, 2024 04:42 12s