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: 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
chore: remove duplicate NameMap forIn instance (#1043) Merge main to nightly #524: Commit 44484f9 pushed by github-merge-queue bot
November 13, 2024 05:48 12s main
main
November 13, 2024 05:48 12s
chore: remove unnecessary import in Batteries.Lean.LawfulMonad (#1042) Merge main to nightly #523: Commit eeb25d3 pushed by github-merge-queue bot
November 13, 2024 05:33 16s main
main
November 13, 2024 05:33 16s
feat: sugar for SatisfiesM (#1029) Merge main to nightly #522: Commit 11da075 pushed by github-merge-queue bot
November 13, 2024 00:25 26s main
main
November 13, 2024 00:25 26s
chore: cleanup proof of satisfiesM_foldlM (#1039) Merge main to nightly #521: Commit e0d8449 pushed by github-merge-queue bot
November 13, 2024 00:04 13s main
main
November 13, 2024 00:04 13s
feat: List.SatisfiesM_foldlM (#1034) Merge main to nightly #520: Commit 66a3bd2 pushed by github-merge-queue bot
November 12, 2024 23:16 14s main
main
November 12, 2024 23:16 14s
feat: generate docs from subdirectory (#1028) Merge main to nightly #519: Commit e6047ba pushed by github-merge-queue bot
November 12, 2024 23:15 15s main
main
November 12, 2024 23:15 15s
chore: robustify some String proofs (#1038) Merge main to nightly #518: Commit fd970b2 pushed by github-merge-queue bot
November 12, 2024 10:25 13s main
main
November 12, 2024 10:25 13s
chore(Data/Rat): move Float functions to separate file (#1035) Merge main to nightly #517: Commit 44f2360 pushed by github-merge-queue bot
November 12, 2024 03:20 16s main
main
November 12, 2024 03:20 16s
perf: inline the Decidable (Coprime _ _) instance (#1036) Merge main to nightly #516: Commit 12381da pushed by github-merge-queue bot
November 12, 2024 03:01 17s main
main
November 12, 2024 03:01 17s
refactor: implement BinaryHeap using Vector (#850) Merge main to nightly #515: Commit 1bfaec4 pushed by github-merge-queue bot
November 11, 2024 08:16 11s main
main
November 11, 2024 08:16 11s
feat: detect default target on runLinter (#811) Merge main to nightly #514: Commit 325d06c pushed by github-merge-queue bot
November 11, 2024 00:36 15s main
main
November 11, 2024 00:36 15s
chore: add unlabeled PR workflow (#1033) Merge main to nightly #513: Commit 0a62715 pushed by github-merge-queue bot
November 10, 2024 23:47 11s main
main
November 10, 2024 23:47 11s
chore: update README with new lakefile syntax (#1031) Merge main to nightly #512: Commit f73ecd1 pushed by github-merge-queue bot
November 10, 2024 23:47 12s main
main
November 10, 2024 23:47 12s
feat: improve induction code action (#1030) Merge main to nightly #511: Commit 5a0bc0d pushed by github-merge-queue bot
November 10, 2024 23:46 13s main
main
November 10, 2024 23:46 13s