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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to v4.8.0-rc1 Merge main to nightly #327: Commit 3025cb1 pushed by kim-em
May 2, 2024 11:51 11s main
main
May 2, 2024 11:51 11s
feat: TransOrd, LawfulOrd, BEqOrd + instances (#730) Merge main to nightly #326: Commit b79e7e7 pushed by digama0
April 30, 2024 23:46 12s main
main
April 30, 2024 23:46 12s
chore: add @[simp] attrs (#769) Merge main to nightly #325: Commit f58165d pushed by kim-em
April 30, 2024 23:12 14s main
main
April 30, 2024 23:12 14s
feat: more RBSet lemmas (#738) Merge main to nightly #324: Commit e9ae52f pushed by kim-em
April 30, 2024 06:57 11s main
main
April 30, 2024 06:57 11s
fix: don't cast to Option in List.get_zero (#758) Merge main to nightly #323: Commit e1ed6c8 pushed by kim-em
April 30, 2024 06:42 16s main
main
April 30, 2024 06:42 16s
feat: add List.mem_merge (#768) Merge main to nightly #322: Commit 93ef8a7 pushed by kim-em
April 30, 2024 06:41 13s main
main
April 30, 2024 06:41 13s
feat(Nat/Gcd): drop an unneeded assumption (#767) Merge main to nightly #321: Commit 07f87dc pushed by kim-em
April 30, 2024 06:39 12s main
main
April 30, 2024 06:39 12s
fix: link in nightly_detect_failure.yml (#766) Merge main to nightly #320: Commit d982205 pushed by digama0
April 25, 2024 16:30 15s main
main
April 25, 2024 16:30 15s
feat: propose removing classical! (#752) Merge main to nightly #319: Commit 4a54f26 pushed by kim-em
April 24, 2024 03:37 11s main
main
April 24, 2024 03:37 11s
chore: cleanup and shorten names in Array.Merge (#762) Merge main to nightly #318: Commit 0ad0ebc pushed by kim-em
April 24, 2024 03:34 13s main
main
April 24, 2024 03:34 13s
feat: relax some typeclass assumptions for list lemmas (#760) Merge main to nightly #317: Commit db73659 pushed by digama0
April 22, 2024 19:54 18s main
main
April 22, 2024 19:54 18s
chore: remove upstreamed false_or_by_contra (#753) Merge main to nightly #316: Commit c03e49c pushed by kim-em
April 20, 2024 07:22 15s main
main
April 20, 2024 07:22 15s
feat: string length lemmas (#749) Merge main to nightly #315: Commit e840c18 pushed by kim-em
April 18, 2024 01:45 11s main
main
April 18, 2024 01:45 11s
chore: add .gitpod.yml and .docker/gitpod/Dockerfile (#732) Merge main to nightly #314: Commit 62c35ea pushed by kim-em
April 18, 2024 01:44 11s main
main
April 18, 2024 01:44 11s
chore: move theorems RBMap.{Alter -> Lemmas} (#736) Merge main to nightly #313: Commit e375b12 pushed by kim-em
April 18, 2024 01:41 14s main
main
April 18, 2024 01:41 14s
feat: List.(take|drop)_set_of_lt (#747) Merge main to nightly #312: Commit 5f0769e pushed by digama0
April 17, 2024 14:10 13s main
main
April 17, 2024 14:10 13s
chore: monadic implementation of classical (#714) Merge main to nightly #311: Commit 6a12bf7 pushed by digama0
April 17, 2024 08:45 15s main
main
April 17, 2024 08:45 15s
feat: Function.funext_iff and Sum.elim_eq_iff (#715) Merge main to nightly #310: Commit cb17285 pushed by kim-em
April 17, 2024 04:24 12s main
main
April 17, 2024 04:24 12s
feat: RBNode.reverse (#737) Merge main to nightly #309: Commit 6361c24 pushed by kim-em
April 17, 2024 04:19 11s main
main
April 17, 2024 04:19 11s
chore: RBMap.min -> min? (#735) Merge main to nightly #308: Commit b6bc371 pushed by kim-em
April 17, 2024 04:17 12s main
main
April 17, 2024 04:17 12s
chore: remove cross-cutting dep (#729) Merge main to nightly #307: Commit 27766a2 pushed by kim-em
April 17, 2024 04:16 17s main
main
April 17, 2024 04:16 17s
feat: #show_unused command (#734) Merge main to nightly #306: Commit 722dc5e pushed by kim-em
April 15, 2024 06:14 11s main
main
April 15, 2024 06:14 11s
doc: add examples to Std.Data.HashMap.Init docs (#725) Merge main to nightly #305: Commit 59e9660 pushed by digama0
April 14, 2024 01:12 13s main
main
April 14, 2024 01:12 13s
chore: silence test/isIndependentOf.lean (#724) Merge main to nightly #304: Commit cf0a972 pushed by digama0
April 13, 2024 11:42 15s main
main
April 13, 2024 11:42 15s
feat: List.attachWith (#723) Merge main to nightly #303: Commit 894ceff pushed by digama0
April 13, 2024 11:41 14s main
main
April 13, 2024 11:41 14s