Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: apply_rfl tactic: handle Eq, HEq, better error messages Backport #4196: Pull request #3714 labeled by leanprover-community-bot
September 19, 2024 17:48 2s
September 19, 2024 17:48 2s
doc: mark «tacticHave'_:=_» as an alternative form of have' Backport #4195: Pull request #5396 closed by david-christiansen
September 19, 2024 17:33 11s
September 19, 2024 17:33 11s
doc: mark «tacticHave'_:=_» as an alternative form of have' Backport #4194: Pull request #5396 labeled by leanprover-community-bot
September 19, 2024 16:14 2s
September 19, 2024 16:14 2s
feat: apply_rfl tactic: handle Eq, HEq, better error messages Backport #4193: Pull request #3714 labeled by leanprover-community-bot
September 19, 2024 15:23 3s
September 19, 2024 15:23 3s
refactor: back rfl tactic only via apply_rfl Backport #4192: Pull request #3718 labeled by leanprover-community-bot
September 19, 2024 15:17 2s
September 19, 2024 15:17 2s
fix: unused variable false positive when combining alias and non-lexical use Backport #4191: Pull request #5335 closed by Kha
September 19, 2024 11:14 14s
September 19, 2024 11:14 14s
feat: lemmas about List.maximum? Backport #4190: Pull request #5394 closed by semorrison
September 19, 2024 09:48 12s
September 19, 2024 09:48 12s
chore: remove @[simp] from Bool.bne_assoc Backport #4189: Pull request #5390 closed by semorrison
September 19, 2024 09:19 2s
September 19, 2024 09:19 2s
feat: List.fold / attach lemmas Backport #4188: Pull request #5392 closed by semorrison
September 19, 2024 08:45 11s
September 19, 2024 08:45 11s
fix: modify projection instance binder info Backport #4187: Pull request #5376 labeled by leanprover-community-bot
September 19, 2024 08:06 2s
September 19, 2024 08:06 2s
fix: modify projection instance binder info Backport #4186: Pull request #5376 labeled by leanprover-community-bot
September 19, 2024 07:54 2s
September 19, 2024 07:54 2s
fix: modify projection instance binder info Backport #4185: Pull request #5376 labeled by leanprover-community-bot
September 19, 2024 06:40 3s
September 19, 2024 06:40 3s
feat: review of List.erase / List.find lemmas Backport #4184: Pull request #5391 closed by semorrison
September 19, 2024 05:59 10s
September 19, 2024 05:59 10s
fix: make formatter use current token table Backport #4183: Pull request #5389 labeled by leanprover-community-bot
September 19, 2024 01:34 3s
September 19, 2024 01:34 3s
chore: remove @[simp] from Bool.bne_assoc Backport #4182: Pull request #5390 labeled by semorrison
September 19, 2024 00:29 1s
September 19, 2024 00:29 1s
feat: add BitVec.ofBool_[and|or|xor]_ofBool theorems Backport #4181: Pull request #5385 closed by hargoniX
September 18, 2024 22:22 12s
September 18, 2024 22:22 12s
refactor: remove the last use of Lean.(HashSet|HashMap) Backport #4180: Pull request #5362 closed by hargoniX
September 18, 2024 18:44 10s
September 18, 2024 18:44 10s
feat: bv_decide diagnosis Backport #4179: Pull request #5365 closed by hargoniX
September 18, 2024 18:19 10s
September 18, 2024 18:19 10s
feat: add Nonempty instances for products Backport #4178: Pull request #5374 closed by david-christiansen
September 18, 2024 16:57 12s
September 18, 2024 16:57 12s
feat: bv_decide diagnosis Backport #4177: Pull request #5365 labeled by leanprover-community-bot
September 18, 2024 14:23 2s
September 18, 2024 14:23 2s
perf: do not lint unused variables defined in tactics by default Backport #4176: Pull request #5338 labeled by leanprover-community-bot
September 18, 2024 12:02 2s
September 18, 2024 12:02 2s
feat: missing Fin @[simp] lemmas Backport #4175: Pull request #5380 closed by semorrison
September 18, 2024 10:31 13s
September 18, 2024 10:31 13s
chore: cleaning up redundant simp lemmas Backport #4174: Pull request #5381 closed by semorrison
September 18, 2024 10:31 10s
September 18, 2024 10:31 10s
chore: fixes spurious omega error in #5315 Backport #4173: Pull request #5382 closed by semorrison
September 18, 2024 10:06 10s
September 18, 2024 10:06 10s
chore: cleaning up redundant simp lemmas Backport #4172: Pull request #5381 labeled by leanprover-community-bot
September 18, 2024 09:35 2s
September 18, 2024 09:35 2s