Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: avoid some redundant proof terms in grind Backport #6346: Pull request #6615 labeled by leodemoura
January 12, 2025 22:49 2s
January 12, 2025 22:49 2s
feat: add Bitvec reverse definition, getLsbD_reverse, getMsbD_reverse, reverse_append, reverse_replicate and Nat.mod_sub_eq_sub_mod Backport #6345: Pull request #6476 labeled by kim-em
January 12, 2025 22:32 2s
January 12, 2025 22:32 2s
feat: offset constraints support for the grind tactic Backport #6344: Pull request #6603 closed by leodemoura
January 12, 2025 21:03 10s
January 12, 2025 21:03 10s
fix: allow dot idents to resolve to local names Backport #6343: Pull request #6602 closed by nomeata
January 12, 2025 17:42 9s
January 12, 2025 17:42 9s
fix: allow dot idents to resolve to local names Backport #6342: Pull request #6602 labeled by leanprover-community-bot
January 12, 2025 17:24 2s
January 12, 2025 17:24 2s