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
3,400 workflow runs
3,400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: lake: v4.16.0-rc1 trace issues Check PR body for changelog convention #3300: Pull request #6627 labeled by tydeu
January 13, 2025 13:11 13s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 13:11 13s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3299: Pull request #6573 synchronize by datokrat
January 13, 2025 12:59 13s paul/alter-alter
paul/alter-alter
January 13, 2025 12:59 13s
fix: lake: v4.16.0-rc1 trace issues Check PR body for changelog convention #3298: Pull request #6627 synchronize by tydeu
January 13, 2025 12:53 13s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 12:53 13s
Check PR body for changelog convention Check PR body for changelog convention #3297: Merge group checks requested
January 13, 2025 12:47 12s
January 13, 2025 12:47 12s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3296: Pull request #6573 synchronize by datokrat
January 13, 2025 12:46 11s paul/alter-alter
paul/alter-alter
January 13, 2025 12:46 11s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3295: Pull request #6573 labeled by datokrat
January 13, 2025 12:44 9s paul/alter-alter
paul/alter-alter
January 13, 2025 12:44 9s
feat: faster, linear HashMap.alter and modify Check PR body for changelog convention #3294: Pull request #6573 synchronize by datokrat
January 13, 2025 12:43 10s paul/alter-alter
paul/alter-alter
January 13, 2025 12:43 10s
fix: lake: v4.16.0-rc1 trace issues Check PR body for changelog convention #3293: Pull request #6627 opened by tydeu
January 13, 2025 12:35 14s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 12:35 14s
fix: lake: v4.16.0-rc1 trace issues Check PR body for changelog convention #3292: Pull request #6627 labeled by tydeu
January 13, 2025 12:35 12s tydeu:lake/fix-trace-issues
tydeu:lake/fix-trace-issues
January 13, 2025 12:35 12s
feat: UIntX.toBitVec lemmas Check PR body for changelog convention #3291: Pull request #6625 synchronize by hargoniX
January 13, 2025 12:23 13s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 12:23 13s
feat: implement basic async IO with timers Check PR body for changelog convention #3290: Pull request #6505 synchronize by hargoniX
January 13, 2025 12:05 14s ft-async
ft-async
January 13, 2025 12:05 14s
feat: UIntX.toBitVec lemmas Check PR body for changelog convention #3289: Pull request #6625 synchronize by hargoniX
January 13, 2025 12:01 12s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 12:01 12s
feat: partial_fixpoint: partial functions with equations Check PR body for changelog convention #3288: Pull request #6355 synchronize by nomeata
January 13, 2025 11:53 9s joachim/tailrec
joachim/tailrec
January 13, 2025 11:53 9s
Check PR body for changelog convention Check PR body for changelog convention #3287: Merge group checks requested
January 13, 2025 11:02 10s
January 13, 2025 11:02 10s
fix: adjustments to the datetime library Check PR body for changelog convention #3286: Pull request #6431 edited by TwoFX
January 13, 2025 11:02 11s algebraic-dev:datetime-fix
algebraic-dev:datetime-fix
January 13, 2025 11:02 11s
feat: UIntX.toBitVec lemmas Check PR body for changelog convention #3285: Pull request #6625 labeled by hargoniX
January 13, 2025 10:52 13s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 10:52 13s
feat: UIntX.toBitVec lemmas Check PR body for changelog convention #3284: Pull request #6625 opened by hargoniX
January 13, 2025 10:52 11s hbv/uintx-to-bitvec
hbv/uintx-to-bitvec
January 13, 2025 10:52 11s
Check PR body for changelog convention Check PR body for changelog convention #3283: Merge group checks requested
January 13, 2025 10:36 11s
January 13, 2025 10:36 11s
feat: elaborate theorem bodies in parallel Check PR body for changelog convention #3282: Pull request #5864 synchronize by Kha
January 13, 2025 09:49 14s Kha:async-proofs
Kha:async-proofs
January 13, 2025 09:49 14s
feat: asynchronous kernel checking Check PR body for changelog convention #3281: Pull request #6368 synchronize by Kha
January 13, 2025 09:49 11s Kha:async-tc
Kha:async-tc
January 13, 2025 09:49 11s
feat: elaborate theorem bodies in parallel Check PR body for changelog convention #3280: Pull request #5864 synchronize by Kha
January 13, 2025 09:37 14s Kha:async-proofs
Kha:async-proofs
January 13, 2025 09:37 14s
fix: Windows stage0 linking Check PR body for changelog convention #3279: Pull request #6622 edited by hargoniX
January 13, 2025 09:34 9s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 09:34 9s
feat: Draft of alter/modify lemmas Check PR body for changelog convention #3278: Pull request #6620 edited by datokrat
January 13, 2025 09:18 12s paul/alter-lemmas
paul/alter-lemmas
January 13, 2025 09:18 12s
fix: Windows stage0 linking Check PR body for changelog convention #3277: Pull request #6622 labeled by hargoniX
January 13, 2025 09:13 14s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 09:13 14s
fix: Windows stage0 linking Check PR body for changelog convention #3276: Pull request #6622 labeled by hargoniX
January 13, 2025 09:13 14s hbv/fix-winsock-stage0
hbv/fix-winsock-stage0
January 13, 2025 09:13 14s