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

feat: add Nat.ofBits and Fin.ofBits (#1089) Merge main to nightly #560: Commit 5b23a12 pushed by github-merge-queue bot
January 14, 2025 23:44 14s main
main
January 14, 2025 23:44 14s
chore: bump to v4.16.0-rc2 (#1093) Merge main to nightly #559: Commit c104265 pushed by github-merge-queue bot
January 14, 2025 02:33 12s main
main
January 14, 2025 02:33 12s
chore: adaptation for leanprover/lean4#6602 (#1092) Merge main to nightly #558: Commit 8690c0b pushed by github-merge-queue bot
January 12, 2025 06:48 11s main
main
January 12, 2025 06:48 11s
feat: add further API about Lean.NameSet (#1091) Merge main to nightly #557: Commit 66225aa pushed by github-merge-queue bot
January 9, 2025 22:13 14s main
main
January 9, 2025 22:13 14s
feat: add List.toArrayMap (#1090) Merge main to nightly #556: Commit e52c2f5 pushed by github-merge-queue bot
January 9, 2025 14:55 1m 2s main
main
January 9, 2025 14:55 1m 2s
fix: make lake preserve toolchain for docs (#1086) Merge main to nightly #555: Commit 03f408f pushed by github-merge-queue bot
January 5, 2025 03:59 12s main
main
January 5, 2025 03:59 12s
fix: don't build multiple times (#1087) Merge main to nightly #554: Commit 101795c pushed by github-merge-queue bot
January 5, 2025 02:55 17s main
main
January 5, 2025 02:55 17s
chore: add adaptation PR helper script (#1085) Merge main to nightly #553: Commit dc529d4 pushed by github-merge-queue bot
January 5, 2025 00:16 12s main
main
January 5, 2025 00:16 12s
chore: post reminder to create adaptation PR (#1084) Merge main to nightly #552: Commit 222a918 pushed by github-merge-queue bot
January 4, 2025 23:58 13s main
main
January 4, 2025 23:58 13s
feat: add Mersenne Twister PRNG (#984) Merge main to nightly #551: Commit e7b34e9 pushed by github-merge-queue bot
January 4, 2025 21:29 12s main
main
January 4, 2025 21:29 12s
fix: remove docs lake manifest (#1083) Merge main to nightly #550: Commit b2e8b68 pushed by github-merge-queue bot
January 4, 2025 20:10 14s main
main
January 4, 2025 20:10 14s
chore: bump toolchain to v4.16.0-rc1 (#1081) Merge main to nightly #549: Commit 8ce422e pushed by github-merge-queue bot
January 4, 2025 05:12 12s main
main
January 4, 2025 05:12 12s
chore: bump toolchain to v4.15.0 (#1080) Merge main to nightly #548: Commit e8dc5fc pushed by github-merge-queue bot
January 4, 2025 03:20 17s main
main
January 4, 2025 03:20 17s
feat: add #print opaques command (#966) Merge main to nightly #547: Commit f007bfe pushed by github-merge-queue bot
December 22, 2024 11:12 16s main
main
December 22, 2024 11:12 16s
refactor: dependent fold for Fin (#1074) Merge main to nightly #546: Commit 9e583ef pushed by github-merge-queue bot
December 12, 2024 13:19 17s main
main
December 12, 2024 13:19 17s
fix: MLList.isEmpty's definition inversed (#1075) Merge main to nightly #545: Commit 74dffd1 pushed by github-merge-queue bot
December 8, 2024 16:36 1m 2s main
main
December 8, 2024 16:36 1m 2s
feat: Define dependent version of Fin.foldl (#1071) Merge main to nightly #544: Commit c016aa9 pushed by github-merge-queue bot
December 4, 2024 20:29 15s main
main
December 4, 2024 20:29 15s
chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073) Merge main to nightly #543: Commit 7805acf pushed by github-merge-queue bot
December 2, 2024 02:55 16s main
main
December 2, 2024 02:55 16s
chore: bump toolchain to v4.14.0 (#1070) Merge main to nightly #542: Commit 8d6c853 pushed by github-merge-queue bot
December 2, 2024 00:12 11s main
main
December 2, 2024 00:12 11s
chore: update docs-release action (#1069) Merge main to nightly #541: Commit f46c044 pushed by github-merge-queue bot
November 29, 2024 14:42 12s main
main
November 29, 2024 14:42 12s
chore: bump toolchain to v4.14.0-rc3 (#1068) Merge main to nightly #540: Commit 5de6320 pushed by github-merge-queue bot
November 29, 2024 13:33 13s main
main
November 29, 2024 13:33 13s
fix: dependency syntax for a reservoir+git lakefile.toml (#1067) Merge main to nightly #539: Commit dfbe938 pushed by github-merge-queue bot
November 29, 2024 07:14 13s main
main
November 29, 2024 07:14 13s
feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification l… Merge main to nightly #538: Commit c933dd9 pushed by github-merge-queue bot
November 27, 2024 11:35 20s main
main
November 27, 2024 11:35 20s
refactor: add List.finRange and Array.finRange (#1055) Merge main to nightly #537: Commit f6d16c2 pushed by github-merge-queue bot
November 26, 2024 06:09 19s main
main
November 26, 2024 06:09 19s
feat: add KMP frontend for lists (#1065) Merge main to nightly #536: Commit 7488499 pushed by github-merge-queue bot
November 26, 2024 01:47 13s main
main
November 26, 2024 01:47 13s