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: automatically test Mathlib against Batteries PRs (#958) Merge main to nightly #451: Commit 27c99fb pushed by github-merge-queue bot
September 27, 2024 01:16 11s main
main
September 27, 2024 01:16 11s
feat: fill in proof of Array.data_erase (#690) Merge main to nightly #450: Commit 40d378f pushed by github-merge-queue bot
September 26, 2024 14:17 13s main
main
September 26, 2024 14:17 13s
feat: compare List.ofFn and Array.ofFn (#956) Merge main to nightly #449: Commit 98f2215 pushed by github-merge-queue bot
September 26, 2024 09:46 13s main
main
September 26, 2024 09:46 13s
refactor: avoid relying on rfl's behavior on ground terms (#832) Merge main to nightly #448: Commit c57ab80 pushed by github-merge-queue bot
September 25, 2024 22:35 16s main
main
September 25, 2024 22:35 16s
fix: add trailing line-break in nolints.json (#955) Merge main to nightly #447: Commit 1745fbd pushed by github-merge-queue bot
September 25, 2024 22:34 15s main
main
September 25, 2024 22:34 15s
chore: cleanup a breaking non-terminal simp on HashMap (#954) Merge main to nightly #446: Commit 6d5e1c8 pushed by github-merge-queue bot
September 24, 2024 22:40 14s main
main
September 24, 2024 22:40 14s
chore: fix more Std -> Batteries (#887) Merge main to nightly #445: Commit c3817c4 pushed by github-merge-queue bot
September 24, 2024 14:07 12s main
main
September 24, 2024 14:07 12s
feat: lemmas about Vector (#952) Merge main to nightly #444: Commit 35d1cd7 pushed by github-merge-queue bot
September 23, 2024 11:18 13s main
main
September 23, 2024 11:18 13s
chore: deprecate HashSet.insert' (#949) Merge main to nightly #443: Commit 2ce0037 pushed by kim-em
September 18, 2024 06:44 12s main
main
September 18, 2024 06:44 12s
chore: remove >6 month deprecations (#945) Merge main to nightly #442: Commit 46fed98 pushed by kim-em
September 10, 2024 06:50 17s main
main
September 10, 2024 06:50 17s
feat: add Array.Pairwise (#897) Merge main to nightly #441: Commit d11566f pushed by kim-em
September 9, 2024 05:27 11s main
main
September 9, 2024 05:27 11s
chore: fix imports Merge main to nightly #440: Commit 1af15aa pushed by kim-em
September 9, 2024 05:20 10s main
main
September 9, 2024 05:20 10s
feat: size lemma for Array.set! (#807) Merge main to nightly #439: Commit 1a28ab0 pushed by kim-em
September 9, 2024 05:17 11s main
main
September 9, 2024 05:17 11s
chore: fix some List.modifyNth lemma names (#831) Merge main to nightly #438: Commit e0017bd pushed by kim-em
September 9, 2024 05:17 16s main
main
September 9, 2024 05:17 16s
chore: remove upstreamed code actions (#888) Merge main to nightly #437: Commit affe669 pushed by kim-em
September 9, 2024 05:16 12s main
main
September 9, 2024 05:16 12s
feat: lemmas for Array.insertAt (#895) Merge main to nightly #436: Commit 4bcbb3f pushed by kim-em
September 9, 2024 05:15 13s main
main
September 9, 2024 05:15 13s
feat: add map and mapM for scalar array types (#902) Merge main to nightly #435: Commit afe9c5c pushed by kim-em
September 9, 2024 05:14 16s main
main
September 9, 2024 05:14 16s
chore: reduce usage of refine' (#916) Merge main to nightly #434: Commit 869f2ad pushed by kim-em
September 9, 2024 05:06 11s main
main
September 9, 2024 05:06 11s
chore: update .gitpod.yml to pre-build Batteries (#924) Merge main to nightly #433: Commit 2b13f6c pushed by kim-em
September 9, 2024 05:04 11s main
main
September 9, 2024 05:04 11s
chore: use emoji variant of unicode characters (#936) Merge main to nightly #432: Commit 39fef54 pushed by kim-em
September 9, 2024 05:04 15s main
main
September 9, 2024 05:04 15s
feat: #where supports weak options (#932) Merge main to nightly #431: Commit 5fc5df1 pushed by kim-em
September 9, 2024 05:03 12s main
main
September 9, 2024 05:03 12s
chore: upstream/undeprecate String.toAsciiByteArray (#943) Merge main to nightly #430: Commit 8feac54 pushed by kim-em
September 3, 2024 06:39 16s main
main
September 3, 2024 06:39 16s
chore: merge bump/v4.12.0, moving toolchain to v4.12.0-rc1 (#942) Merge main to nightly #429: Commit fa571ea pushed by kim-em
September 3, 2024 03:37 11s main
main
September 3, 2024 03:37 11s
chore: bump toolchain to v4.11.0 (#940) Merge main to nightly #428: Commit 9c6c2d6 pushed by kim-em
September 2, 2024 01:36 15s main
main
September 2, 2024 01:36 15s
feat: runLinter uses ``withImportModules #[module, Batteries.Tactic.L… Merge main to nightly #427: Commit e776546 pushed by kim-em
September 2, 2024 00:08 12s main
main
September 2, 2024 00:08 12s