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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add support for not-in in exists (#425) Merge main to nightly #80: Commit c4ece13 pushed by digama0
December 7, 2023 10:40 14s main
main
December 7, 2023 10:40 14s
feat: Control warningAsError (default off but stays on in CI) (#422) Merge main to nightly #79: Commit d2a16f5 pushed by digama0
December 7, 2023 03:01 11s main
main
December 7, 2023 03:01 11s
feat: add LawfulMonad instance for EStateM (#416) Merge main to nightly #78: Commit baf6def pushed by joehendrix
December 5, 2023 22:16 17s main
main
December 5, 2023 22:16 17s
feat: Add proof to proof_wanted theorems of Array get?_size and get?_… Merge main to nightly #77: Commit 1f24793 pushed by digama0
December 4, 2023 22:02 12s main
main
December 4, 2023 22:02 12s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.