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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: safe Nat indexed Array functions using get_elem_tactic (#803) Merge main to nightly #352: Commit 60d622c pushed by kim-em
May 23, 2024 01:11 16s main
main
May 23, 2024 01:11 16s
feat: size lemmas for Array.shrink (#801) Merge main to nightly #351: Commit 66a6de2 pushed by kim-em
May 23, 2024 01:11 13s main
main
May 23, 2024 01:11 13s
chore: update build.yml to use lean-action (#805) Merge main to nightly #350: Commit 952d927 pushed by kim-em
May 22, 2024 23:26 16s main
main
May 22, 2024 23:26 16s
chore: move to v4.8.0-rc2 (#806) Merge main to nightly #349: Commit 7b3c48b pushed by kim-em
May 22, 2024 02:16 12s main
main
May 22, 2024 02:16 12s
fix: support since in @[deprecated] alias (#804) Merge main to nightly #348: Commit f3e6d5d pushed by digama0
May 21, 2024 10:06 16s main
main
May 21, 2024 10:06 16s
fix: unused variables (#802) Merge main to nightly #347: Commit cff1ec6 pushed by digama0
May 17, 2024 01:01 16s main
main
May 17, 2024 01:01 16s
feat: lake exe test --allow-noisy (#797) Merge main to nightly #346: Commit 914ad4f pushed by kim-em
May 16, 2024 02:28 15s main
main
May 16, 2024 02:28 15s
chore: silence unreachableTactic test (#798) Merge main to nightly #345: Commit 674dd31 pushed by kim-em
May 16, 2024 02:05 13s main
main
May 16, 2024 02:05 13s
feat: RBSet.{upperBound?, lowerBound?} lemmas (#740) Merge main to nightly #344: Commit f635b69 pushed by kim-em
May 16, 2024 01:30 12s main
main
May 16, 2024 01:30 12s
feat: use 'lake test' (#787) Merge main to nightly #343: Commit 14f2585 pushed by kim-em
May 13, 2024 08:01 12s main
main
May 13, 2024 08:01 12s
chore: move RBNode depth lemmas out (#744) Merge main to nightly #342: Commit 9e1609d pushed by kim-em
May 13, 2024 02:07 17s main
main
May 13, 2024 02:07 17s
feat: Rat.toFloat (#750) Merge main to nightly #341: Commit 1462f41 pushed by kim-em
May 13, 2024 01:28 13s main
main
May 13, 2024 01:28 13s
feat(Data/List/EraseIdx): new file (#792) Merge main to nightly #340: Commit 4b7f2f1 pushed by kim-em
May 13, 2024 01:01 20s main
main
May 13, 2024 01:01 20s
chore: update make lint to use lake (#791) Merge main to nightly #339: Commit dd6e639 pushed by kim-em
May 13, 2024 00:54 12s main
main
May 13, 2024 00:54 12s
refactor: remove @[simp] from List.modifyHead (#790) Merge main to nightly #338: Commit cac5bff pushed by kim-em
May 10, 2024 00:55 12s main
main
May 10, 2024 00:55 12s
refactor: structurally recursive List.ofFn (#784) Merge main to nightly #337: Commit 231202b pushed by kim-em
May 10, 2024 00:14 14s main
main
May 10, 2024 00:14 14s
doc: fix section titles (#789) Merge main to nightly #336: Commit 24f2da1 pushed by digama0
May 9, 2024 18:04 4m 0s main
main
May 9, 2024 18:04 4m 0s
chore: deprecations in dot notation (#786) Merge main to nightly #335: Commit cda1910 pushed by kim-em
May 9, 2024 01:17 13s main
main
May 9, 2024 01:17 13s
chore: fix CI for the leanprover -> leanprover-community move (#785) Merge main to nightly #334: Commit a89cfe9 pushed by digama0
May 7, 2024 22:42 10s main
main
May 7, 2024 22:42 10s
chore: rename to batteries (#780) Merge main to nightly #333: Commit 56d2e4e pushed by kim-em
May 7, 2024 04:20 11s main
main
May 7, 2024 04:20 11s
chore: add Union and SDiff instances for Std.RBSet (#775) Merge main to nightly #332: Commit 789020b pushed by kim-em
May 6, 2024 06:35 15s main
main
May 6, 2024 06:35 15s
chore(Data/List): drop removeNth (#781) Merge main to nightly #331: Commit 615a2a7 pushed by kim-em
May 6, 2024 05:59 14s main
main
May 6, 2024 05:59 14s
Revert "Add String.length_join and List.length_join (#770)" Merge main to nightly #330: Commit 80cf5a1 pushed by kim-em
May 3, 2024 04:42 11s main
main
May 3, 2024 04:42 11s
Add String.length_join and List.length_join (#770) Merge main to nightly #329: Commit 123fb93 pushed by kim-em
May 3, 2024 04:38 12s main
main
May 3, 2024 04:38 12s
refactor: move Function.id_def from mathlib (#755) Merge main to nightly #328: Commit aec9cad pushed by kim-em
May 3, 2024 04:31 13s main
main
May 3, 2024 04:31 13s