Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: expose Kernel.check for debugging purposes Backport #4220: Pull request #5412 labeled by leanprover-community-bot
September 21, 2024 11:12 3s
September 21, 2024 11:12 3s
fix: make lean4 build on FreeBSD Backport #4219: Pull request #3182 labeled by Kha
September 20, 2024 13:50 2s
September 20, 2024 13:50 2s
feat: manage nested inductive types in deriving Backport #4218: Pull request #3160 labeled by leanprover-bot
September 20, 2024 13:48 3s
September 20, 2024 13:48 3s
fix: consistently show non-mvar term in hovertext Backport #4217: Pull request #5368 labeled by leanprover-bot
September 20, 2024 13:47 2s
September 20, 2024 13:47 2s
feat: localize universe metavariable errors at let bindings and fun binders Backport #4216: Pull request #5402 labeled by leanprover-bot
September 20, 2024 13:47 2s
September 20, 2024 13:47 2s
feat: more of BitVec.getElem_* Backport #4215: Pull request #5404 labeled by leanprover-bot
September 20, 2024 13:47 2s
September 20, 2024 13:47 2s
chore: basic cleanups for bv_decide Backport #4214: Pull request #5408 closed by hargoniX
September 20, 2024 12:16 16s
September 20, 2024 12:16 16s
feat: apply_rfl tactic: handle Eq, HEq, better error messages Backport #4213: Pull request #3714 closed by nomeata
September 20, 2024 08:48 12s
September 20, 2024 08:48 12s
chore: reverse direction of List.set_map Backport #4212: Pull request #5405 labeled by leanprover-community-bot
September 20, 2024 08:10 2s
September 20, 2024 08:10 2s
feat: localize universe metavariable errors at let bindings and fun binders Backport #4211: Pull request #5402 labeled by leanprover-community-bot
September 20, 2024 07:16 2s
September 20, 2024 07:16 2s
feat: theorems about List.toArray Backport #4210: Pull request #5403 labeled by leanprover-community-bot
September 20, 2024 07:14 2s
September 20, 2024 07:14 2s
chore: reverse direction of List.set_map Backport #4209: Pull request #5405 labeled by semorrison
September 20, 2024 07:02 3s
September 20, 2024 07:02 3s
feat: instance for Inhabited (TacticM α) Backport #4208: Pull request #5401 closed by semorrison
September 20, 2024 06:42 13s
September 20, 2024 06:42 13s
doc: add Verso to release checklist process Backport #4207: Pull request #5372 closed by semorrison
September 20, 2024 06:38 11s
September 20, 2024 06:38 11s
feat: HashSet.partition (unverified) Backport #4206: Pull request #5370 closed by semorrison
September 20, 2024 06:30 21s
September 20, 2024 06:30 21s
feat: HashSet.ofArray (unverified) Backport #4205: Pull request #5369 closed by semorrison
September 20, 2024 06:30 10s
September 20, 2024 06:30 10s
fix: modify projection instance binder info Backport #4204: Pull request #5376 closed by semorrison
September 20, 2024 06:30 11s
September 20, 2024 06:30 11s
feat: theorems about List.toArray Backport #4203: Pull request #5403 labeled by semorrison
September 20, 2024 06:04 2s
September 20, 2024 06:04 2s
feat: localize universe metavariable errors at let bindings and fun binders Backport #4202: Pull request #5402 labeled by kmill
September 20, 2024 06:00 3s
September 20, 2024 06:00 3s
chore: reorganization in Array/Basic Backport #4201: Pull request #5400 closed by semorrison
September 20, 2024 02:27 12s
September 20, 2024 02:27 12s
feat: List.fold relators Backport #4200: Pull request #5393 closed by semorrison
September 20, 2024 01:14 10s
September 20, 2024 01:14 10s
fix: downgrade instance synth order issues to warnings Backport #4199: Pull request #5399 labeled by leanprover-community-bot
September 19, 2024 20:07 4s
September 19, 2024 20:07 4s
refactor: back rfl tactic only via apply_rfl Backport #4198: Pull request #3718 labeled by leanprover-community-bot
September 19, 2024 19:14 2s
September 19, 2024 19:14 2s
fix: downgrade instance synth order issues to warnings Backport #4197: Pull request #5399 labeled by kmill
September 19, 2024 18:48 3s
September 19, 2024 18:48 3s
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