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: add simps and toNat lemmas for UIntX types (#853) Merge main to nightly #376: Commit 73c7f46 pushed by digama0
June 21, 2024 01:06 14s main
main
June 21, 2024 01:06 14s
chore: robust proof in HashMap.WF.filterMap (#852) Merge main to nightly #375: Commit f343929 pushed by digama0
June 18, 2024 21:08 14s main
main
June 18, 2024 21:08 14s
feat: add BinaryHeap (#849) Merge main to nightly #374: Commit a962bdc pushed by digama0
June 17, 2024 22:30 14s main
main
June 17, 2024 22:30 14s
Reapply "chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#83… Merge main to nightly #373: Commit 47e4cc5 pushed by kim-em
June 16, 2024 00:31 13s main
main
June 16, 2024 00:31 13s
chore: bump toolchain to v4.9.0-rc2 (#847) Merge main to nightly #372: Commit 194b50c pushed by kim-em
June 16, 2024 00:23 18s main
main
June 16, 2024 00:23 18s
chore: remove docgen from the manifest (#846) Merge main to nightly #371: Commit 2506c85 pushed by kim-em
June 15, 2024 10:02 16s main
main
June 15, 2024 10:02 16s
feat: ext lemma for Thunk (#842) Merge main to nightly #370: Commit 15d42e1 pushed by digama0
June 14, 2024 00:50 12s main
main
June 14, 2024 00:50 12s
Revert "chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#839… Merge main to nightly #369: Commit 0f5b287 pushed by kim-em
June 13, 2024 04:37 12s main
main
June 13, 2024 04:37 12s
chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#839) Merge main to nightly #368: Commit 007a82f pushed by kim-em
June 12, 2024 12:15 17s main
main
June 12, 2024 12:15 17s
fix(linter): "(invalid MessageData.lazy, missing context)" (#838) Merge main to nightly #367: Commit 42b5ddd pushed by kim-em
June 12, 2024 06:15 12s main
main
June 12, 2024 06:15 12s
chore(RBSet): consolidate API from mathlib (#834) Merge main to nightly #366: Commit f96a344 pushed by kim-em
June 12, 2024 01:26 13s main
main
June 12, 2024 01:26 13s
chore: squeeze simps in HashMap.WF (#833) Merge main to nightly #365: Commit 17987b0 pushed by kim-em
June 11, 2024 05:52 11s main
main
June 11, 2024 05:52 11s
feat: measureRec for strong induction use cases (#829) Merge main to nightly #364: Commit 1659998 pushed by digama0
June 8, 2024 21:29 12s main
main
June 8, 2024 21:29 12s
feat: missing modifyNth simp lemmas (#830) Merge main to nightly #363: Commit f93c3a7 pushed by kim-em
June 7, 2024 19:56 12s main
main
June 7, 2024 19:56 12s
chore: merge bump/v4.9.0 branch (#826) Merge main to nightly #362: Commit 6a63eb6 pushed by kim-em
June 7, 2024 00:44 16s main
main
June 7, 2024 00:44 16s
feat: add lemmas Fin.foldl_rev, Fin.foldr_rev (#821) Merge main to nightly #361: Commit 3b15552 pushed by digama0
June 5, 2024 21:08 17s main
main
June 5, 2024 21:08 17s
feat: add lemma Fin.list_reverse (#819) Merge main to nightly #360: Commit 45c0a2f pushed by digama0
June 5, 2024 21:07 21s main
main
June 5, 2024 21:07 21s
chore: add @[simp] for Fin.foldl_zero and Fin.foldr_zero (#820) Merge main to nightly #359: Commit 3062eb3 pushed by digama0
June 5, 2024 21:06 12s main
main
June 5, 2024 21:06 12s
chore: split KMP for strings into separate file (#823) Merge main to nightly #358: Commit 551ff2d pushed by kim-em
June 5, 2024 05:22 16s main
main
June 5, 2024 05:22 16s
chore: bump toolchain to v4.8.0 (#824) Merge main to nightly #357: Commit 51e6e0d pushed by kim-em
June 5, 2024 03:46 12s main
main
June 5, 2024 03:46 12s
chore: manifest out of date doesn't count as test noise (#818) Merge main to nightly #356: Commit 7110da5 pushed by kim-em
June 5, 2024 01:46 16s main
main
June 5, 2024 01:46 16s
fix: typos in docstrings (#822) Merge main to nightly #355: Commit 63d7c6f pushed by digama0
June 4, 2024 23:43 15s main
main
June 4, 2024 23:43 15s
chore: remove binder_predicate (#817) Merge main to nightly #354: Commit ee87917 pushed by digama0
June 3, 2024 22:16 12s main
main
June 3, 2024 22:16 12s
chore: align isInternalName with upstream version (#796) Merge main to nightly #353: Commit dfe8208 pushed by kim-em
June 1, 2024 07:53 14s main
main
June 1, 2024 07:53 14s
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