Skip to content

Actions: leanprover-community/batteries

Actions

Merge main to nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly_merge_master.yml
503 workflow runs
503 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: move toolchain to v4.4.0 (#478) Merge main to nightly #128: Commit af7f36d pushed by kim-em
December 21, 2023 22:58 1m 5s main
main
December 21, 2023 22:58 1m 5s
chore: remove unnecessary assumptions (#477) Merge main to nightly #127: Commit 034f3ac pushed by digama0
December 21, 2023 13:57 19s main
main
December 21, 2023 13:57 19s
feat: omega supports Nat.succ (#474) Merge main to nightly #126: Commit 7a51fa8 pushed by digama0
December 21, 2023 07:25 6m 17s main
main
December 21, 2023 07:25 6m 17s
feat: omega (#463) Merge main to nightly #125: Commit 5bf9172 pushed by joehendrix
December 21, 2023 06:00 12s main
main
December 21, 2023 06:00 12s
feat: add varous lemmas for (Fin.rev _) (#277) Merge main to nightly #124: Commit cdc1e3d pushed by joehendrix
December 20, 2023 21:38 16s main
main
December 20, 2023 21:38 16s
feat: add non-monotone map function to RBSet (#274) Merge main to nightly #123: Commit 31d80b2 pushed by joehendrix
December 20, 2023 21:38 14s main
main
December 20, 2023 21:38 14s
chore: quiet some tests (#376) Merge main to nightly #122: Commit 468a2d7 pushed by joehendrix
December 20, 2023 21:17 11s main
main
December 20, 2023 21:17 11s
feat: move lemmas about lists from mathlib + add lemmas about `Array.… Merge main to nightly #121: Commit 007a6d6 pushed by joehendrix
December 20, 2023 21:17 11s main
main
December 20, 2023 21:17 11s
feat: "Try this:" custom code action title (#466) Merge main to nightly #120: Commit 455498d pushed by joehendrix
December 20, 2023 21:16 16s main
main
December 20, 2023 21:16 16s
feat: false_or_by_contra tactic (#460) Merge main to nightly #119: Commit 7ca70f4 pushed by joehendrix
December 20, 2023 03:14 11s main
main
December 20, 2023 03:14 11s
feat: dualize List.minimum? lemmas (#468) Merge main to nightly #118: Commit 71e11a6 pushed by digama0
December 19, 2023 22:06 13s main
main
December 19, 2023 22:06 13s
feat: lemmas about List.indexOf/indexesOf (#393) Merge main to nightly #117: Commit fadefd5 pushed by joehendrix
December 16, 2023 18:18 17s main
main
December 16, 2023 18:18 17s
feat: AssocList.size (#435) Merge main to nightly #116: Commit 94f17e1 pushed by joehendrix
December 16, 2023 18:17 11s main
main
December 16, 2023 18:17 11s
chore: ToExpr Int (#449) Merge main to nightly #115: Commit ebdd969 pushed by joehendrix
December 16, 2023 18:17 16s main
main
December 16, 2023 18:17 16s
chore: deprecate Int.ofNat_natAbs_eq_of_nonneg (#432) Merge main to nightly #114: Commit 9dd24a3 pushed by joehendrix
December 15, 2023 17:26 15s main
main
December 15, 2023 17:26 15s
doc: status labels (#454) Merge main to nightly #113: Commit c4aef3c pushed by joehendrix
December 15, 2023 17:25 16s main
main
December 15, 2023 17:25 16s
feat: List.map_id' with lambda (#450) Merge main to nightly #112: Commit fa17cba pushed by joehendrix
December 15, 2023 06:55 16s main
main
December 15, 2023 06:55 16s
feat: Expr.nat?/int? to check for numbers in normal form (#456) Merge main to nightly #111: Commit 75e75a5 pushed by digama0
December 15, 2023 02:59 16s main
main
December 15, 2023 02:59 16s
chore: upstream getLocalHyps (#457) Merge main to nightly #110: Commit 9f30877 pushed by digama0
December 15, 2023 02:57 16s main
main
December 15, 2023 02:57 16s
chore: prefer fun over 'λ' (#461) Merge main to nightly #109: Commit 45e1b6c pushed by digama0
December 15, 2023 02:36 13s main
main
December 15, 2023 02:36 13s
chore: upstream Lean.MVarId.applyConst (#458) Merge main to nightly #108: Commit 9f8e3f5 pushed by digama0
December 15, 2023 01:54 15s main
main
December 15, 2023 01:54 15s
chore: import ProofWanted in Tactic.Basic (#452) Merge main to nightly #107: Commit d76a7e6 pushed by digama0
December 15, 2023 00:40 12s main
main
December 15, 2023 00:40 12s
chore: revert accidental push to main (#455) Merge main to nightly #106: Commit 615872d pushed by kim-em
December 15, 2023 00:02 12s main
main
December 15, 2023 00:02 12s
Expr.nat Merge main to nightly #105: Commit 5fb302d pushed by kim-em
December 15, 2023 00:00 15s main
main
December 15, 2023 00:00 15s
chore: set notation for Lean.HashSet (#448) Merge main to nightly #104: Commit 6b4cf96 pushed by digama0
December 14, 2023 05:13 12s main
main
December 14, 2023 05:13 12s
ProTip! You can narrow down the results and go further in time using created:<2023-12-14 or the other filters available.