Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
4,548 workflow run results
4,548 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: pretty print .coeFun with terminfo of coercee Backport #5173: Pull request #6085 labeled by kmill
November 15, 2024 01:30 2s
November 15, 2024 01:30 2s
feat: IO.Process.SpawnArgs.inheritEnv Backport #5172: Pull request #6081 labeled by tydeu
November 14, 2024 21:12 3s
November 14, 2024 21:12 3s
feat: IO.Process.SpawnArgs.inheritEnv Backport #5171: Pull request #6081 labeled by tydeu
November 14, 2024 21:12 3s
November 14, 2024 21:12 3s
chore: bv_decide remove noop rewrites Backport #5170: Pull request #6080 labeled by hargoniX
November 14, 2024 19:04 3s
November 14, 2024 19:04 3s
fix: stack overflow at mkBinding if type occurs check fails Backport #5169: Pull request #6079 labeled by leanprover-community-bot
November 14, 2024 16:35 2s
November 14, 2024 16:35 2s
feat: add date and time functionality Backport #5168: Pull request #4904 closed by algebraic-dev
November 14, 2024 14:32 10s
November 14, 2024 14:32 10s
perf: simp_arith: faster denote through Lean.RArray Backport #5167: Pull request #6068 closed by Kha
November 14, 2024 13:08 10s
November 14, 2024 13:08 10s
perf: simp_arith: faster denote through Lean.RArray Backport #5166: Pull request #6068 labeled by nomeata
November 14, 2024 11:29 2s
November 14, 2024 11:29 2s
feat: Lean.RArray Backport #5165: Pull request #6070 closed by nomeata
November 14, 2024 11:22 13s
November 14, 2024 11:22 13s
fix: validate atoms modulo leading and trailing whitespace Backport #5164: Pull request #6012 closed by david-christiansen
November 14, 2024 11:05 12s
November 14, 2024 11:05 12s
feat: add options to configure all of bv_decide's preprocessing Backport #5163: Pull request #6077 labeled by leanprover-community-bot
November 14, 2024 10:07 3s
November 14, 2024 10:07 3s
feat: add options to configure all of bv_decide's preprocessing Backport #5162: Pull request #6077 closed by hargoniX
November 14, 2024 09:55 9s
November 14, 2024 09:55 9s
perf: make andFlattening work on deeply nested hyps in one pass Backport #5161: Pull request #6075 labeled by leanprover-community-bot
November 14, 2024 09:54 2s
November 14, 2024 09:54 2s
perf: make andFlattening work on deeply nested hyps in one pass Backport #5160: Pull request #6075 closed by hargoniX
November 14, 2024 09:32 10s
November 14, 2024 09:32 10s
fix: validate atoms modulo leading and trailing whitespace Backport #5159: Pull request #6012 labeled by david-christiansen
November 14, 2024 09:21 2s
November 14, 2024 09:21 2s
feat: IO.getTID Backport #5158: Pull request #6049 labeled by Kha
November 14, 2024 09:20 2s
November 14, 2024 09:20 2s
feat: add options to configure all of bv_decide's preprocessing Backport #5157: Pull request #6077 labeled by hargoniX
November 14, 2024 09:02 2s
November 14, 2024 09:02 2s
perf: make andFlattening work on deeply nested hyps in one pass Backport #5156: Pull request #6075 labeled by hargoniX
November 14, 2024 08:51 3s
November 14, 2024 08:51 3s
refactor: allow Sort u in Squash Backport #5155: Pull request #6074 closed by kim-em
November 14, 2024 06:19 12s
November 14, 2024 06:19 12s
refactor: lake: avoid v! in builtin code Backport #5154: Pull request #6073 closed by tydeu
November 14, 2024 05:24 14s
November 14, 2024 05:24 14s
refactor: lake: avoid v! in builtin code Backport #5153: Pull request #6073 labeled by leanprover-community-bot
November 14, 2024 02:21 2s
November 14, 2024 02:21 2s
refactor: lake: avoid v! in builtin code Backport #5152: Pull request #6073 labeled by tydeu
November 14, 2024 01:06 2s
November 14, 2024 01:06 2s
feat: add Context.setConfig Backport #5151: Pull request #6072 closed by leodemoura
November 14, 2024 00:59 11s
November 14, 2024 00:59 11s
feat: add Context.setConfig Backport #5150: Pull request #6072 labeled by leodemoura
November 14, 2024 00:20 2s
November 14, 2024 00:20 2s
feat: lemmas about for loops over Array Backport #5149: Pull request #6055 closed by kim-em
November 13, 2024 23:57 9s
November 13, 2024 23:57 9s