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

refactor: deprecate duplicate BitVec lemma (#599) Merge main to nightly #210: Commit 4a91efd pushed by kim-em
February 7, 2024 12:16 16s main
main
February 7, 2024 12:16 16s
feat: Introduce #check_simp command and usage. (#583) Merge main to nightly #209: Commit 18bbb9c pushed by joehendrix
February 6, 2024 23:44 11s main
main
February 6, 2024 23:44 11s
feat: omega uses Lean.HashMap instead of Std.Data.HashMap (#588) Merge main to nightly #208: Commit 15b92f4 pushed by kim-em
February 6, 2024 23:38 14s main
main
February 6, 2024 23:38 14s
chore: upstream decidability instances for bounded Nats (#592) Merge main to nightly #207: Commit a88cd10 pushed by joehendrix
February 6, 2024 23:33 11s main
main
February 6, 2024 23:33 11s
chore: retain history of omega benchmarks (#587) Merge main to nightly #206: Commit 7b14fb5 pushed by joehendrix
February 6, 2024 13:02 12s main
main
February 6, 2024 13:02 12s
chore: update exact? tests (#586) Merge main to nightly #205: Commit 453176a pushed by joehendrix
February 6, 2024 11:39 1m 10s main
main
February 6, 2024 11:39 1m 10s
feat: generate minimal structure instances in code action (#577) Merge main to nightly #204: Commit 4695a26 pushed by kim-em
February 6, 2024 10:41 33m 13s main
main
February 6, 2024 10:41 33m 13s
chore: missing BitVec lemmas (#590) Merge main to nightly #203: Commit e752d20 pushed by kim-em
February 6, 2024 08:28 15s main
main
February 6, 2024 08:28 15s
feat: omega using Fin.isLt (#591) Merge main to nightly #202: Commit 546f933 pushed by kim-em
February 6, 2024 06:12 13s main
main
February 6, 2024 06:12 13s
feat: reduce assumptions from size_swap! (#584) Merge main to nightly #201: Commit 325604c pushed by joehendrix
February 6, 2024 05:43 12s main
main
February 6, 2024 05:43 12s
fix: omega uses local values (#578) Merge main to nightly #200: Commit fa7c7b0 pushed by joehendrix
February 6, 2024 05:43 13s main
main
February 6, 2024 05:43 13s
chore: run tests in subdirectories (#585) Merge main to nightly #199: Commit 21ac873 pushed by joehendrix
February 6, 2024 05:42 13s main
main
February 6, 2024 05:42 13s
chore: don't call symmSaturate repeatedly in solve_by_elim (#582) Merge main to nightly #198: Commit 19abd0c pushed by kim-em
February 5, 2024 11:02 15s main
main
February 5, 2024 11:02 15s
chore: missing BitVec Decidable instances (#580) Merge main to nightly #197: Commit c8b1897 pushed by digama0
February 4, 2024 19:58 14s main
main
February 4, 2024 19:58 14s
feat: omega handles min, max, if (#575) Merge main to nightly #196: Commit 7969a87 pushed by joehendrix
February 3, 2024 01:34 12s main
main
February 3, 2024 01:34 12s
chore: move to v4.6.0-rc1, merging adaptations (#576) Merge main to nightly #195: Commit 276953b pushed by kim-em
February 1, 2024 23:54 12s main
main
February 1, 2024 23:54 12s
fix: revert OmegaM state when not multiplying out (#570) Merge main to nightly #194: Commit bdec3da pushed by joehendrix
February 1, 2024 23:28 13s main
main
February 1, 2024 23:28 13s
feat: lemmas for BitVec (#558) Merge main to nightly #193: Commit ecf1ec2 pushed by joehendrix
February 1, 2024 23:27 16s main
main
February 1, 2024 23:27 16s
chore: remove Std.Data.List import from Omega (#568) Merge main to nightly #192: Commit 0b89788 pushed by joehendrix
February 1, 2024 04:38 12s main
main
February 1, 2024 04:38 12s
chore: bump to v4.5.0 (#574) Merge main to nightly #191: Commit 08ec258 pushed by kim-em
February 1, 2024 03:19 2m 7s main
main
February 1, 2024 03:19 2m 7s
fix: use getTransparency in librarySearch SolveByElim.Config (#566) Merge main to nightly #190: Commit a11bdfc pushed by kim-em
January 30, 2024 01:46 15s main
main
January 30, 2024 01:46 15s
Revert "chore: don't call symmSaturate repeatedly in solve_by_elim (#… Merge main to nightly #189: Commit 128fd8e pushed by kim-em
January 29, 2024 10:57 11s main
main
January 29, 2024 10:57 11s
chore: upstream classical tactic (#242) Merge main to nightly #188: Commit 92fb0a9 pushed by digama0
January 27, 2024 08:57 11s main
main
January 27, 2024 08:57 11s
feat: upstream addHaveSuggestion and addRewriteSuggestion (#210) Merge main to nightly #187: Commit 6f352d4 pushed by digama0
January 27, 2024 08:55 12s main
main
January 27, 2024 08:55 12s
feat: commit lake-manifest.json (#560) Merge main to nightly #186: Commit 5368bbb pushed by joehendrix
January 25, 2024 20:00 13s main
main
January 25, 2024 20:00 13s
ProTip! You can narrow down the results and go further in time using created:<2024-01-25 or the other filters available.