Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
5,610 workflow run results
5,610 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: replace List.lt with List.Lex Backport #5807: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 23:54 2s
December 14, 2024 23:54 2s
fix: revertAll must clear auxiliary declarations Backport #5806: Pull request #6386 labeled by leodemoura
December 14, 2024 23:40 2s
December 14, 2024 23:40 2s
fix: simp_all? local declarations Backport #5805: Pull request #6385 closed by leodemoura
December 14, 2024 23:37 11s
December 14, 2024 23:37 11s
fix: simp_all? local declarations Backport #5804: Pull request #6385 labeled by leodemoura
December 14, 2024 22:54 2s
December 14, 2024 22:54 2s
test: add test for issue #4585 Backport #5803: Pull request #6384 closed by leodemoura
December 14, 2024 22:35 12s
December 14, 2024 22:35 12s
feat: replace List.lt with List.Lex Backport #5802: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 22:33 3s
December 14, 2024 22:33 3s
test: add test for issue #4585 Backport #5801: Pull request #6384 labeled by leodemoura
December 14, 2024 21:53 2s
December 14, 2024 21:53 2s
fix: new code generator must generate code for opaque declarations that are not @[extern] Backport #5800: Pull request #6383 closed by leodemoura
December 14, 2024 20:51 13s
December 14, 2024 20:51 13s
fix: new code generator must generate code for opaque declarations that are not @[extern] Backport #5799: Pull request #6383 labeled by leodemoura
December 14, 2024 20:06 3s
December 14, 2024 20:06 3s
fix: withTrackingZetaDelta must reset cache Backport #5798: Pull request #6381 closed by leodemoura
December 14, 2024 18:49 8s
December 14, 2024 18:49 8s
fix: withTrackingZetaDelta must reset cache Backport #5797: Pull request #6381 labeled by leodemoura
December 14, 2024 18:04 3s
December 14, 2024 18:04 3s
feat: partial_fixpoint: partial functions with equations Backport #5796: Pull request #6355 labeled by leanprover-community-bot
December 14, 2024 12:56 2s
December 14, 2024 12:56 2s
chore: move implementation details of mergeSort into namespace Backport #5795: Pull request #6380 closed by kim-em
December 14, 2024 11:47 9s
December 14, 2024 11:47 9s
feat: replace List.lt with List.Lex Backport #5794: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 11:24 2s
December 14, 2024 11:24 2s
chore: move implementation details of mergeSort into namespace Backport #5793: Pull request #6380 labeled by kim-em
December 14, 2024 11:06 2s
December 14, 2024 11:06 2s
feat: replace List.lt with List.Lex Backport #5792: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 03:07 1s
December 14, 2024 03:07 1s
feat: lean --error=kind Backport #5791: Pull request #6362 closed by tydeu
December 14, 2024 02:00 13s
December 14, 2024 02:00 13s
fix: propagate Simp.Config when reducing terms and checking definitional equality in simp Backport #5790: Pull request #6123 labeled by leanprover-community-bot
December 14, 2024 01:37 1s
December 14, 2024 01:37 1s
fix: propagate Simp.Config when reducing terms and checking definitional equality in simp Backport #5789: Pull request #6123 closed by leodemoura
December 14, 2024 01:28 8s
December 14, 2024 01:28 8s
chore: stop running compiler twice during tests Backport #5788: Pull request #6321 closed by leodemoura
December 14, 2024 00:25 8s
December 14, 2024 00:25 8s
chore: remove Lean.Compiler.LCNF.ForEachExpr Backport #5787: Pull request #6313 closed by leodemoura
December 14, 2024 00:21 13s
December 14, 2024 00:21 13s
feat: explanations for cases applied to non-inductive types Backport #5786: Pull request #6378 labeled by kmill
December 13, 2024 16:47 3s
December 13, 2024 16:47 3s
doc: fix typo reference in doc of lazy discrimination tree Backport #5785: Pull request #6377 closed by nomeata
December 13, 2024 08:00 9s
December 13, 2024 08:00 9s
feat: theorems about == on Vector Backport #5784: Pull request #6376 closed by kim-em
December 13, 2024 02:28 12s
December 13, 2024 02:28 12s
feat: theorems about == on Vector Backport #5783: Pull request #6376 labeled by leanprover-community-bot
December 13, 2024 02:20 3s
December 13, 2024 02:20 3s