Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
4,813 workflow runs
4,813 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: preserve binder names in signatures Backport #4813: Pull request #5827 labeled by leanprover-community-bot
October 28, 2024 02:10 1s
October 28, 2024 02:10 1s
feat: record all structure parents in StructureInfo Backport #4812: Pull request #5853 closed by kmill
October 28, 2024 01:47 1m 33s
October 28, 2024 01:47 1m 33s
chore: deprecate Array.modifyOp Backport #4811: Pull request #5797 closed by kim-em
October 28, 2024 01:13 2s
October 28, 2024 01:13 2s
feat: record all structure parents in StructureInfo Backport #4810: Pull request #5853 labeled by leanprover-community-bot
October 28, 2024 00:37 2s
October 28, 2024 00:37 2s
feat: make it possible to use dot notation in m! strings Backport #4809: Pull request #5857 closed by kmill
October 27, 2024 23:19 1m 24s
October 27, 2024 23:19 1m 24s
toNat theorems for signExtend Backport #4808: Pull request #5859 closed by mhk119
October 27, 2024 19:38 2s
October 27, 2024 19:38 2s
feat: make it possible to use dot notation in m! strings Backport #4807: Pull request #5857 labeled by leanprover-community-bot
October 27, 2024 18:07 2s
October 27, 2024 18:07 2s
feat: if support and more in bv_decide Backport #4806: Pull request #5855 closed by hargoniX
October 27, 2024 09:05 1m 25s
October 27, 2024 09:05 1m 25s
feat: make it possible to use dot notation in m! strings Backport #4805: Pull request #5857 labeled by leanprover-community-bot
October 27, 2024 02:51 2s
October 27, 2024 02:51 2s
feat: prop instance yields theorems Backport #4804: Pull request #5856 labeled by leanprover-community-bot
October 27, 2024 02:38 2s
October 27, 2024 02:38 2s
feat: prop instance yields theorems Backport #4803: Pull request #5856 labeled by leanprover-community-bot
October 27, 2024 00:24 1s
October 27, 2024 00:24 1s
feat: add delaborators for <|>, <*>, >>, <*, and *> Backport #4802: Pull request #5854 closed by kmill
October 27, 2024 00:18 1m 29s
October 27, 2024 00:18 1m 29s
feat: add delaborators for <|>, <*>, >>, <*, and *> Backport #4801: Pull request #5854 labeled by leanprover-community-bot
October 26, 2024 23:37 2s
October 26, 2024 23:37 2s
feat: prop instance yields theorems Backport #4800: Pull request #5856 labeled by kmill
October 26, 2024 23:13 1s
October 26, 2024 23:13 1s
feat: support BitVec.ofBool in bv_decide Backport #4799: Pull request #5852 closed by hargoniX
October 26, 2024 19:37 1m 25s
October 26, 2024 19:37 1m 25s
feat: add (msb, getMsbD)_twoPow Backport #4798: Pull request #5851 closed by hargoniX
October 26, 2024 17:57 1m 29s
October 26, 2024 17:57 1m 29s
fix: deprecations in Init.Data.Array.Basic Backport #4797: Pull request #5848 closed by nomeata
October 26, 2024 11:03 1m 26s
October 26, 2024 11:03 1m 26s
refactor: Predefinition.Structural code cleanup Backport #4796: Pull request #5850 closed by nomeata
October 26, 2024 10:56 1m 29s
October 26, 2024 10:56 1m 29s
feat: stronger proof strategy for partial inhabitation Backport #4795: Pull request #5847 labeled by leanprover-community-bot
October 26, 2024 01:45 1s
October 26, 2024 01:45 1s
fix: reduce types when constructing default values in structure instance notation Backport #4794: Pull request #5844 closed by kmill
October 26, 2024 01:07 1m 20s
October 26, 2024 01:07 1m 20s
feat: stronger proof strategy for partial inhabitation Backport #4793: Pull request #5847 labeled by kmill
October 26, 2024 00:36 2s
October 26, 2024 00:36 2s
chore: remove unnecessary private Inhabited instance Backport #4792: Pull request #5846 closed by kmill
October 25, 2024 23:53 1m 34s
October 25, 2024 23:53 1m 34s
fix: declaration ranges changed after stage0 update Backport #4791: Pull request #5845 closed by kmill
October 25, 2024 22:05 1m 24s
October 25, 2024 22:05 1m 24s
fix: reduce types when constructing default values in structure instance notation Backport #4790: Pull request #5844 labeled by leanprover-community-bot
October 25, 2024 22:04 1s
October 25, 2024 22:04 1s
test: test case for #5836 Backport #4789: Pull request #5843 labeled by leanprover-community-bot
October 25, 2024 20:36 2s
October 25, 2024 20:36 2s