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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Upstream derive handler for ToExpr from Mathlib Check PR body for changelog convention #2025: Pull request #5906 synchronize by alexkeizer
December 11, 2024 15:27 14s opencompl:derive-toExpr
opencompl:derive-toExpr
December 11, 2024 15:27 14s
feat: Upstream derive handler for ToExpr from Mathlib Check PR body for changelog convention #2024: Pull request #5906 synchronize by alexkeizer
December 11, 2024 14:53 15s opencompl:derive-toExpr
opencompl:derive-toExpr
December 11, 2024 14:53 15s
feat: Upstream derive handler for ToExpr from Mathlib Check PR body for changelog convention #2023: Pull request #5906 synchronize by alexkeizer
December 11, 2024 14:43 14s opencompl:derive-toExpr
opencompl:derive-toExpr
December 11, 2024 14:43 14s
feat: partial functions with equations Check PR body for changelog convention #2022: Pull request #6355 synchronize by nomeata
December 11, 2024 14:42 12s joachim/tailrec
joachim/tailrec
December 11, 2024 14:42 12s
feat: Upstream derive handler for ToExpr from Mathlib Check PR body for changelog convention #2021: Pull request #5906 synchronize by alexkeizer
December 11, 2024 14:35 12s opencompl:derive-toExpr
opencompl:derive-toExpr
December 11, 2024 14:35 12s
feat: partial functions with equations Check PR body for changelog convention #2020: Pull request #6355 synchronize by nomeata
December 11, 2024 14:26 15s joachim/tailrec
joachim/tailrec
December 11, 2024 14:26 15s
feat: Upstream derive handler for ToExpr from Mathlib Check PR body for changelog convention #2019: Pull request #5906 synchronize by alexkeizer
December 11, 2024 14:22 13s opencompl:derive-toExpr
opencompl:derive-toExpr
December 11, 2024 14:22 13s
feat: partial functions with equations Check PR body for changelog convention #2018: Pull request #6355 synchronize by nomeata
December 11, 2024 14:17 17s joachim/tailrec
joachim/tailrec
December 11, 2024 14:17 17s
feat: partial functions with equations Check PR body for changelog convention #2017: Pull request #6355 synchronize by nomeata
December 11, 2024 14:07 7m 57s joachim/tailrec
joachim/tailrec
December 11, 2024 14:07 7m 57s
feat: partial functions with equations Check PR body for changelog convention #2016: Pull request #6355 edited by nomeata
December 11, 2024 13:58 11s joachim/tailrec
joachim/tailrec
December 11, 2024 13:58 11s
feat: partial functions with equations Check PR body for changelog convention #2015: Pull request #6355 synchronize by nomeata
December 11, 2024 13:44 15s joachim/tailrec
joachim/tailrec
December 11, 2024 13:44 15s
refactor: move registration of namespaces on kernel add into elaborator Check PR body for changelog convention #2014: Pull request #6214 synchronize by Kha
December 11, 2024 13:26 14s Kha:push-vwrqzpymymss
Kha:push-vwrqzpymymss
December 11, 2024 13:26 14s
feat: split Lean.Kernel.Environment from Lean.Environment Check PR body for changelog convention #2013: Pull request #5145 synchronize by Kha
December 11, 2024 13:26 13s Kha:kernel-env
Kha:kernel-env
December 11, 2024 13:26 13s
Check PR body for changelog convention Check PR body for changelog convention #2012: Merge group checks requested
December 11, 2024 12:24 12s
December 11, 2024 12:24 12s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #2011: Pull request #6211 synchronize by monsterkrampe
December 11, 2024 11:36 12s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 11, 2024 11:36 12s
Check PR body for changelog convention Check PR body for changelog convention #2010: Merge group checks requested
December 11, 2024 11:30 12s
December 11, 2024 11:30 12s
Check PR body for changelog convention Check PR body for changelog convention #2009: Merge group checks requested
December 11, 2024 11:00 7s
December 11, 2024 11:00 7s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #2008: Pull request #6211 synchronize by monsterkrampe
December 11, 2024 10:42 12s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 11, 2024 10:42 12s
chore: run Batteries linter on Lean Check PR body for changelog convention #2007: Pull request #6364 synchronize by kim-em
December 11, 2024 10:39 15s linting
linting
December 11, 2024 10:39 15s
feat: verify insertMany method for adding lists to HashMaps Check PR body for changelog convention #2006: Pull request #6211 synchronize by monsterkrampe
December 11, 2024 10:37 12s monsterkrampe:hashMap-insertList
monsterkrampe:hashMap-insertList
December 11, 2024 10:37 12s
chore: preserve reported messages in MessageLog Check PR body for changelog convention #2005: Pull request #6307 labeled by leanprover-community-bot
December 11, 2024 10:29 14s Kha:push-yvkwyuxuwsnx
Kha:push-yvkwyuxuwsnx
December 11, 2024 10:29 14s
chore: run Batteries linter on Lean Check PR body for changelog convention #2004: Pull request #6364 synchronize by kim-em
December 11, 2024 10:07 11s linting
linting
December 11, 2024 10:07 11s
chore: preserve reported messages in MessageLog Check PR body for changelog convention #2003: Pull request #6307 synchronize by Kha
December 11, 2024 09:21 12s Kha:push-yvkwyuxuwsnx
Kha:push-yvkwyuxuwsnx
December 11, 2024 09:21 12s
Check PR body for changelog convention Check PR body for changelog convention #2002: Merge group checks requested
December 11, 2024 05:03 9s
December 11, 2024 05:03 9s
Check PR body for changelog convention Check PR body for changelog convention #2001: Merge group checks requested
December 11, 2024 04:10 8s
December 11, 2024 04:10 8s