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

chore: bump toolchain to v4.11.0-rc3 (#939) Merge main to nightly #426: Commit a7fd140 pushed by fgdorais
August 30, 2024 21:35 15s main
main
August 30, 2024 21:35 15s
chore: make proofs robust to incoming changes (#929) Merge main to nightly #425: Commit e6d3a32 pushed by kim-em
August 27, 2024 01:45 16s main
main
August 27, 2024 01:45 16s
chore: robustify a proof (#935) Merge main to nightly #424: Commit 31fb27d pushed by kim-em
August 26, 2024 07:01 13s main
main
August 26, 2024 07:01 13s
chore: robustify a proof (#934) Merge main to nightly #423: Commit 1851cf1 pushed by kim-em
August 26, 2024 06:53 18s main
main
August 26, 2024 06:53 18s
chore: make some proofs more robust (#928) Merge main to nightly #422: Commit d747f07 pushed by kim-em
August 21, 2024 02:44 13s main
main
August 21, 2024 02:44 13s
chore: restore splitAt pointer equality behaviour (#922) Merge main to nightly #421: Commit a975dea pushed by digama0
August 17, 2024 06:01 12s main
main
August 17, 2024 06:01 12s
chore: remove unnecessary case for splitAt.go (#921) Merge main to nightly #420: Commit 65f464e pushed by kim-em
August 17, 2024 02:34 15s main
main
August 17, 2024 02:34 15s
feat: List.insertP and lemmas (#569) Merge main to nightly #419: Commit b1a2ec9 pushed by digama0
August 17, 2024 00:27 11s main
main
August 17, 2024 00:27 11s
feat: add lemma code-action (#625) Merge main to nightly #418: Commit d309157 pushed by digama0
August 16, 2024 23:37 12s main
main
August 16, 2024 23:37 12s
fix: splitAtD reverse bug from #919 Merge main to nightly #417: Commit f7aebca pushed by digama0
August 16, 2024 23:04 17s main
main
August 16, 2024 23:04 17s
feat: RBMap lemmas (#739) Merge main to nightly #416: Commit f2c939c pushed by digama0
August 16, 2024 22:50 16s main
main
August 16, 2024 22:50 16s
feat: statically sized Vector type (#793) Merge main to nightly #415: Commit 5f405b1 pushed by digama0
August 16, 2024 22:45 15s main
main
August 16, 2024 22:45 15s
feat: lemmas List.foldlM_map and List.foldrM_map (#827) Merge main to nightly #414: Commit a2ef715 pushed by digama0
August 16, 2024 21:16 12s main
main
August 16, 2024 21:16 12s
feat: add ByteSubarray (#851) Merge main to nightly #413: Commit 1f4c8fa pushed by digama0
August 16, 2024 21:16 13s main
main
August 16, 2024 21:16 13s
feat: faster splitAt (#919) Merge main to nightly #412: Commit a36e34f pushed by digama0
August 16, 2024 07:38 12s main
main
August 16, 2024 07:38 12s
chore: remove makefile (#918) Merge main to nightly #411: Commit b0587b2 pushed by digama0
August 16, 2024 07:35 16s main
main
August 16, 2024 07:35 16s
fix: flaky test (#889) Merge main to nightly #410: Commit 91cf60c pushed by digama0
August 16, 2024 07:35 19s main
main
August 16, 2024 07:35 19s
chore: cleanup lexOrd_def (#915) Merge main to nightly #409: Commit 5e5e54c pushed by kim-em
August 14, 2024 08:08 1m 10s main
main
August 14, 2024 08:08 1m 10s
fix: naming convention (#914) Merge main to nightly #408: Commit 1d25ec7 pushed by digama0
August 13, 2024 19:34 12s main
main
August 13, 2024 19:34 12s
chore: bump toolchain to v4.11.0-rc2 (#911) Merge main to nightly #407: Commit ad26fe1 pushed by kim-em
August 12, 2024 07:19 11s main
main
August 12, 2024 07:19 11s
chore: squeeze a simp in HashMap/WF (#909) Merge main to nightly #406: Commit d4dfc4e pushed by kim-em
August 12, 2024 02:36 10s main
main
August 12, 2024 02:36 10s
chore: shake Batteries (#903) Merge main to nightly #405: Commit 7b244ea pushed by kim-em
August 12, 2024 02:35 12s main
main
August 12, 2024 02:35 12s
chore: bump lean-action to v1 (#904) Merge main to nightly #404: Commit dc167d2 pushed by kim-em
August 5, 2024 02:57 11s main
main
August 5, 2024 02:57 11s
chore: move to v4.11.0-rc1 (#907) Merge main to nightly #403: Commit 021e272 pushed by kim-em
August 5, 2024 02:16 17s main
main
August 5, 2024 02:16 17s
refactor: rename theorems about Char.utf8Size (#901) Merge main to nightly #402: Commit 41bc768 pushed by kim-em
August 1, 2024 05:52 10s main
main
August 1, 2024 05:52 10s