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
555 workflow runs
555 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: relax List.insert to only rely BEq (#440) Merge main to nightly #103: Commit 3bb8c37 pushed by digama0
December 14, 2023 03:06 12s main
main
December 14, 2023 03:06 12s
feat: lemmas about if-then-else (#438) Merge main to nightly #102: Commit 88d5e17 pushed by digama0
December 14, 2023 02:59 12s main
main
December 14, 2023 02:59 12s
feat: relatives of Int.lt_trichotomy (#444) Merge main to nightly #101: Commit 93fac6c pushed by digama0
December 14, 2023 02:57 11s main
main
December 14, 2023 02:57 11s
feat: lemmas about Int.sign (#442) Merge main to nightly #100: Commit 126f196 pushed by digama0
December 14, 2023 02:57 14s main
main
December 14, 2023 02:57 14s
feat: Option.min/max (#439) Merge main to nightly #99: Commit aa467e9 pushed by digama0
December 14, 2023 02:53 11s main
main
December 14, 2023 02:53 11s
feat: emod_pos_of_not_dvd for Nat and Int (#436) Merge main to nightly #98: Commit dbaf8f0 pushed by digama0
December 14, 2023 02:50 11s main
main
December 14, 2023 02:50 11s
feat: (Lawful)BEq for AssocList (#434) Merge main to nightly #97: Commit 5d14993 pushed by digama0
December 14, 2023 02:49 16s main
main
December 14, 2023 02:49 16s
feat: MLList.ofTaskList (#397) Merge main to nightly #96: Commit 16d8352 pushed by joehendrix
December 13, 2023 20:49 15s main
main
December 13, 2023 20:49 15s
chore: prefer · == a over a == · (#430) Merge main to nightly #95: Commit 7ef8b7c pushed by joehendrix
December 13, 2023 15:51 13s main
main
December 13, 2023 15:51 13s
feat: lemmas about dropWhile (#445) Merge main to nightly #94: Commit 1bd72ed pushed by digama0
December 13, 2023 11:07 12s main
main
December 13, 2023 11:07 12s
feat: Int.mul_le_mul_of_nonpos_left (#443) Merge main to nightly #93: Commit cc8713e pushed by digama0
December 13, 2023 11:04 11s main
main
December 13, 2023 11:04 11s
feat: List.reverse_eq_nil_iff (#441) Merge main to nightly #92: Commit 0fd434d pushed by digama0
December 13, 2023 10:58 11s main
main
December 13, 2023 10:58 11s
feat: bounds on k * (x / k) (#437) Merge main to nightly #91: Commit ac4071c pushed by digama0
December 13, 2023 10:49 13s main
main
December 13, 2023 10:49 13s
chore: fix name of List.singleton_subperm_iff (#429) Merge main to nightly #90: Commit 483fd28 pushed by digama0
December 11, 2023 08:03 15s main
main
December 11, 2023 08:03 15s
feat: introduce balanced mod (#361) Merge main to nightly #89: Commit 604b407 pushed by joehendrix
December 9, 2023 19:06 11s main
main
December 9, 2023 19:06 11s
feat: lemmas about List.findIdx? (#293) Merge main to nightly #88: Commit f4c5890 pushed by joehendrix
December 9, 2023 19:06 13s main
main
December 9, 2023 19:06 13s
feat: lemmas about Array.filter and Array.filterMap (#387) Merge main to nightly #87: Commit d62205c pushed by joehendrix
December 9, 2023 19:05 14s main
main
December 9, 2023 19:05 14s
Revert "feat: add support for not-in in exists (#425)" (#427) Merge main to nightly #86: Commit b197bd2 pushed by digama0
December 8, 2023 11:20 15s main
main
December 8, 2023 11:20 15s
chore: de-mathlib List.Perm (#89) Merge main to nightly #85: Commit 63c387d pushed by joehendrix
December 8, 2023 05:25 15s main
main
December 8, 2023 05:25 15s
feat: more add lemmas for Nat (#197) Merge main to nightly #84: Commit dbb4045 pushed by joehendrix
December 8, 2023 05:23 13s main
main
December 8, 2023 05:23 13s
perf: use a faster implementation of BitVec.ofInt (#415) Merge main to nightly #83: Commit ddcb086 pushed by joehendrix
December 7, 2023 22:39 13s main
main
December 7, 2023 22:39 13s
feat: avoid termination_by', introduce WellFounded.wrap (#420) Merge main to nightly #82: Commit b88aedb pushed by joehendrix
December 7, 2023 22:37 17s main
main
December 7, 2023 22:37 17s
chore: add indents to guard_target and friends (#426) Merge main to nightly #81: Commit c3bd1ac pushed by digama0
December 7, 2023 11:37 17s main
main
December 7, 2023 11:37 17s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.