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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: more vector lemmas (#1062) Merge main to nightly #535: Commit 44e2d2e pushed by github-merge-queue bot
November 24, 2024 23:44 15s main
main
November 24, 2024 23:44 15s
chore: fix two deprecations (#1061) Merge main to nightly #534: Commit 0dc51ac pushed by github-merge-queue bot
November 23, 2024 09:05 18s main
main
November 23, 2024 09:05 18s
chore: fix workflow token (#1059) Merge main to nightly #533: Commit 8b52587 pushed by github-merge-queue bot
November 23, 2024 00:40 13s main
main
November 23, 2024 00:40 13s
fix: Readme.md needs "git" token in lakefile.lean (#1056) Merge main to nightly #532: Commit 33d7f34 pushed by github-merge-queue bot
November 21, 2024 12:33 14s main
main
November 21, 2024 12:33 14s
chore: cleanup breaking non-terminal simps (#1057) Merge main to nightly #531: Commit a822446 pushed by github-merge-queue bot
November 21, 2024 04:55 12s main
main
November 21, 2024 04:55 12s
chore: remove @[simp] attributes from monad-specific SatisfiesM lemma… Merge main to nightly #530: Commit 485efbc pushed by github-merge-queue bot
November 19, 2024 09:54 16s main
main
November 19, 2024 09:54 16s
fix: use two tokens for open private/export private (#1050) Merge main to nightly #529: Commit 01f4969 pushed by github-merge-queue bot
November 15, 2024 07:56 12s main
main
November 15, 2024 07:56 12s
fix: run Lean.enableInitializersExecution (#1047) Merge main to nightly #528: Commit 9dcf294 pushed by github-merge-queue bot
November 15, 2024 03:50 22s main
main
November 15, 2024 03:50 22s
chore: deprecate Expr.forallArity, per todo (#1046) Merge main to nightly #527: Commit b100ff2 pushed by github-merge-queue bot
November 14, 2024 02:30 15s main
main
November 14, 2024 02:30 15s
chore: remove >6 month old deprecations (#1044) Merge main to nightly #526: Commit e2b30dc pushed by github-merge-queue bot
November 13, 2024 23:23 20s main
main
November 13, 2024 23:23 20s
chore: update authors lines (#1045) Merge main to nightly #525: Commit 6d0acd1 pushed by github-merge-queue bot
November 13, 2024 06:10 11s main
main
November 13, 2024 06:10 11s