Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
1,221 workflow run results
1,221 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Int.toNat simproc Backport #1343: Pull request #3440 closed by leodemoura
February 21, 2024 17:49 10s
February 21, 2024 17:49 10s
feat: custom error recovery in parser Backport #1342: Pull request #3413 closed by david-christiansen
February 21, 2024 15:06 13s
February 21, 2024 15:06 13s
chore: explicit DecidableEq instance for BitVec Backport #1341: Pull request #3438 closed by leodemoura
February 21, 2024 14:13 12s
February 21, 2024 14:13 12s
feat: support for Fin in omega Backport #1340: Pull request #3427 closed by kim-em
February 21, 2024 14:05 12s
February 21, 2024 14:05 12s
refactor: module MatcherApp.Transform Backport #1339: Pull request #3439 labeled by nomeata
February 21, 2024 13:25 2s
February 21, 2024 13:25 2s
fix: match pattern missing test Backport #1338: Pull request #3437 closed by leodemoura
February 21, 2024 13:14 13s
February 21, 2024 13:14 13s
chore: add @[simp] to BitVec.toNat_mul Backport #1337: Pull request #3434 closed by kim-em
February 21, 2024 12:34 11s
February 21, 2024 12:34 11s
feat: omega handles shift operators, and normalises ground term exponentials Backport #1336: Pull request #3433 closed by kim-em
February 21, 2024 12:33 10s
February 21, 2024 12:33 10s
fix: address symm and label bugs from #3408 Backport #1335: Pull request #3429 closed by joehendrix
February 21, 2024 07:58 9s
February 21, 2024 07:58 9s
chore: remove mkAppN macro in omega Backport #1334: Pull request #3428 closed by kim-em
February 21, 2024 05:50 10s
February 21, 2024 05:50 10s
chore: simplify decide (b = true) and variants Backport #1333: Pull request #3426 closed by kim-em
February 21, 2024 05:08 10s
February 21, 2024 05:08 10s
fix: bug in omega's elimination selection Backport #1332: Pull request #3425 closed by kim-em
February 21, 2024 02:32 13s
February 21, 2024 02:32 13s
chore: upstream solve_by_elim Backport #1331: Pull request #3408 closed by joehendrix
February 21, 2024 01:59 11s
February 21, 2024 01:59 11s
feat: improve error messages and docstring for decide tactic Backport #1329: Pull request #3422 labeled by leanprover-community-mathlib4-bot
February 21, 2024 01:18 2s
February 21, 2024 01:18 2s
feat: improve error messages and docstring for decide tactic Backport #1330: Pull request #3422 labeled by leanprover-community-mathlib4-bot
February 21, 2024 01:18 2s
February 21, 2024 01:18 2s
chore: upstream List.get?_append Backport #1328: Pull request #3424 closed by kim-em
February 21, 2024 00:36 11s
February 21, 2024 00:36 11s
fix: split libInit_shared out of libleanshared Backport #1326: Pull request #3421 labeled by leanprover-community-mathlib4-bot
February 20, 2024 21:53 3s
February 20, 2024 21:53 3s
fix: split libInit_shared out of libleanshared Backport #1327: Pull request #3421 labeled by leanprover-community-mathlib4-bot
February 20, 2024 21:53 3s
February 20, 2024 21:53 3s
fix: split libInit_shared out of libleanshared Backport #1325: Pull request #3421 labeled by leanprover-community-mathlib4-bot
February 20, 2024 20:30 1s
February 20, 2024 20:30 1s
chore: speedcenter: count max symbols in shared libraries Backport #1324: Pull request #3418 closed by Kha
February 20, 2024 20:02 13s
February 20, 2024 20:02 13s
doc: fix confusing language in Expr.isProp Backport #1323: Pull request #3420 closed by nomeata
February 20, 2024 16:45 35s
February 20, 2024 16:45 35s
chore: upstream norm_cast attributes and tests Backport #1322: Pull request #3419 closed by leodemoura
February 20, 2024 15:00 11s
February 20, 2024 15:00 11s
chore: add documentation for the String.iterator API Backport #1321: Pull request #3300 closed by david-christiansen
February 20, 2024 14:08 14s
February 20, 2024 14:08 14s
feat: custom error recovery in parser Backport #1320: Pull request #3413 labeled by david-christiansen
February 20, 2024 13:46 2s
February 20, 2024 13:46 2s
chore: pr-release to suggest a git rebase command Backport #1319: Pull request #3417 closed by nomeata
February 20, 2024 13:43 10s
February 20, 2024 13:43 10s