Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
6,276 workflow runs
6,276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: remove functions for compiling decls from Environment Backport #6371: Pull request #6600 closed by zwarich
January 13, 2025 19:21 13s
January 13, 2025 19:21 13s
feat: implement basic async IO with timers Backport #6370: Pull request #6505 closed by hargoniX
January 13, 2025 18:38 13s
January 13, 2025 18:38 13s
feat: lean --src-deps Backport #6369: Pull request #6427 closed by tydeu
January 13, 2025 16:38 11s
January 13, 2025 16:38 11s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Backport #6368: Pull request #6631 labeled by tydeu
January 13, 2025 16:31 2s
January 13, 2025 16:31 2s
fix: lake: set MACOSX_DEPLOYMENT_TARGET for shared libs Backport #6367: Pull request #6631 labeled by tydeu
January 13, 2025 16:31 2s
January 13, 2025 16:31 2s
feat: UIntX.toBitVec lemmas Backport #6366: Pull request #6625 closed by hargoniX
January 13, 2025 15:04 12s
January 13, 2025 15:04 12s
fix: lake: v4.16.0-rc1 trace issues Backport #6365: Pull request #6627 closed by kim-em
January 13, 2025 14:44 2m 0s
January 13, 2025 14:44 2m 0s
fix: lake: v4.16.0-rc1 trace issues Backport #6364: Pull request #6627 labeled by leanprover-community-bot
January 13, 2025 14:10 3s
January 13, 2025 14:10 3s
fix: lake: v4.16.0-rc1 trace issues Backport #6363: Pull request #6627 labeled by tydeu
January 13, 2025 13:11 3s
January 13, 2025 13:11 3s
feat: faster, linear HashMap.alter and modify Backport #6362: Pull request #6573 labeled by datokrat
January 13, 2025 12:44 2s
January 13, 2025 12:44 2s
fix: lake: v4.16.0-rc1 trace issues Backport #6361: Pull request #6627 labeled by tydeu
January 13, 2025 12:35 2s
January 13, 2025 12:35 2s
fix: adjustments to the datetime library Backport #6360: Pull request #6431 closed by TwoFX
January 13, 2025 11:29 14s
January 13, 2025 11:29 14s
fix: trace indentation in info view Backport #6359: Pull request #6597 closed by Kha
January 13, 2025 11:04 12s
January 13, 2025 11:04 12s
feat: UIntX.toBitVec lemmas Backport #6358: Pull request #6625 labeled by hargoniX
January 13, 2025 10:52 2s
January 13, 2025 10:52 2s
fix: Windows stage0 linking Backport #6357: Pull request #6622 labeled by hargoniX
January 13, 2025 09:13 3s
January 13, 2025 09:13 3s
fix: Windows stage0 linking Backport #6356: Pull request #6622 labeled by hargoniX
January 13, 2025 09:13 3s
January 13, 2025 09:13 3s
feat: Draft of alter/modify lemmas Backport #6355: Pull request #6620 labeled by datokrat
January 13, 2025 08:53 3s
January 13, 2025 08:53 3s
feat: exhaustive offset constraint propagation in the grind tactic Backport #6354: Pull request #6618 closed by leodemoura
January 13, 2025 05:10 11s
January 13, 2025 05:10 11s
feat: exhaustive offset constraint propagation in the grind tactic Backport #6353: Pull request #6618 labeled by leodemoura
January 13, 2025 04:13 2s
January 13, 2025 04:13 2s
doc: commit conventions and Mathlib CI Backport #6352: Pull request #6605 closed by kim-em
January 13, 2025 02:58 11s
January 13, 2025 02:58 11s
feat: finish alignment of List/Array/Vector.append lemmas Backport #6351: Pull request #6617 closed by kim-em
January 13, 2025 02:27 10s
January 13, 2025 02:27 10s
feat: finish alignment of List/Array/Vector.append lemmas Backport #6350: Pull request #6617 labeled by kim-em
January 13, 2025 01:40 3s
January 13, 2025 01:40 3s
chore: cleaunp grind tests Backport #6349: Pull request #6616 closed by leodemoura
January 13, 2025 00:34 12s
January 13, 2025 00:34 12s
chore: cleaunp grind tests Backport #6348: Pull request #6616 labeled by leodemoura
January 12, 2025 23:47 2s
January 12, 2025 23:47 2s
feat: avoid some redundant proof terms in grind Backport #6347: Pull request #6615 closed by leodemoura
January 12, 2025 23:37 13s
January 12, 2025 23:37 13s