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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: use implicit arguments in iff lemmas (#957) Merge main to nightly #460: Commit deb7e08 pushed by github-merge-queue bot
September 28, 2024 17:46 17s main
main
September 28, 2024 17:46 17s
chore: simplify lakefile (#950) Merge main to nightly #459: Commit 51c38e3 pushed by github-merge-queue bot
September 28, 2024 15:52 11s main
main
September 28, 2024 15:52 11s
fix: remove List.erase_of_forall_bne and replace with List.erase_eq_s… Merge main to nightly #458: Commit 8311edc pushed by github-merge-queue bot
September 28, 2024 15:15 11s main
main
September 28, 2024 15:15 11s
chore: add lake-manifest.json when updating batteries-pr-testing bran… Merge main to nightly #457: Commit e0b13c9 pushed by github-merge-queue bot
September 27, 2024 06:35 18s main
main
September 27, 2024 06:35 18s
chore: fix test_mathlib.yml (5) (#964) Merge main to nightly #456: Commit e023a81 pushed by github-merge-queue bot
September 27, 2024 05:01 14s main
main
September 27, 2024 05:01 14s
chore: fix test_mathlib.yml (4) (#963) Merge main to nightly #455: Commit d3d6925 pushed by github-merge-queue bot
September 27, 2024 04:54 13s main
main
September 27, 2024 04:54 13s
chore: fix test_mathlib.yml (3) (#962) Merge main to nightly #454: Commit d41ca4d pushed by github-merge-queue bot
September 27, 2024 04:36 11s main
main
September 27, 2024 04:36 11s
chore: fix test_mathlib.yml again (#961) Merge main to nightly #453: Commit 949f882 pushed by github-merge-queue bot
September 27, 2024 04:29 13s main
main
September 27, 2024 04:29 13s
chore: fix test_mathlib.yml (#959) Merge main to nightly #452: Commit 3ad208b pushed by github-merge-queue bot
September 27, 2024 04:09 11s main
main
September 27, 2024 04:09 11s
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