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

chore: allow omega to use autoparam wrapped hypotheses / consume meta… Merge main to nightly #160: Commit a2c9fb4 pushed by joehendrix
January 12, 2024 08:04 11s main
main
January 12, 2024 08:04 11s
feat: more mul lemmas for Nat (#198) Merge main to nightly #159: Commit 0b2e962 pushed by kim-em
January 11, 2024 06:15 12s main
main
January 11, 2024 06:15 12s
feat: more lemmas about equality (#465) Merge main to nightly #158: Commit b6dedd7 pushed by joehendrix
January 11, 2024 05:21 15s main
main
January 11, 2024 05:21 15s
feat: false_or_by_contra uses Decidable.byContra if possible (#519) Merge main to nightly #157: Commit b33ce1b pushed by joehendrix
January 11, 2024 05:20 11s main
main
January 11, 2024 05:20 11s
omegaTactic and omegaDefault (#488) Merge main to nightly #156: Commit 1194d20 pushed by kim-em
January 11, 2024 03:03 18s main
main
January 11, 2024 03:03 18s
feat: more ByteArray lemmas (#508) Merge main to nightly #155: Commit 3560221 pushed by joehendrix
January 10, 2024 17:33 16s main
main
January 10, 2024 17:33 16s
feat: omega understands Prod.Lex (#511) Merge main to nightly #154: Commit c1a3cdf pushed by digama0
January 10, 2024 05:22 13s main
main
January 10, 2024 05:22 13s
feat: omega handles iff and implications (#503) Merge main to nightly #153: Commit c0a5088 pushed by joehendrix
January 10, 2024 03:18 15s main
main
January 10, 2024 03:18 15s
doc: how to depend on the library (#513) Merge main to nightly #152: Commit f99e8d1 pushed by joehendrix
January 9, 2024 21:19 13s main
main
January 9, 2024 21:19 13s
feat(Data/List): deprecate last' and ilast' (#514) Merge main to nightly #151: Commit 294242f pushed by digama0
January 9, 2024 03:36 13s main
main
January 9, 2024 03:36 13s
feat: omega understands multiplication on the right by a constant (#504) Merge main to nightly #150: Commit 3959bc5 pushed by joehendrix
January 5, 2024 20:37 12s main
main
January 5, 2024 20:37 12s
chore: Provide consistent Std.Data modules. (#498) Merge main to nightly #149: Commit 8f32448 pushed by joehendrix
January 5, 2024 18:58 13s main
main
January 5, 2024 18:58 13s
chore: move MVarId.note (#507) Merge main to nightly #148: Commit 0f6bc5b pushed by joehendrix
January 4, 2024 07:54 11s main
main
January 4, 2024 07:54 11s
feat: make Except.emoji public (#506) Merge main to nightly #147: Commit a39499e pushed by joehendrix
January 4, 2024 07:53 15s main
main
January 4, 2024 07:53 15s
feat: omega splits Ne (#505) Merge main to nightly #146: Commit c76c1d0 pushed by digama0
January 4, 2024 06:50 14s main
main
January 4, 2024 06:50 14s
feat: three array lemmas (#491) Merge main to nightly #145: Commit 9e8ae84 pushed by joehendrix
January 4, 2024 05:28 12s main
main
January 4, 2024 05:28 12s
feat: more simp lemmas for bind_eq_some (#487) Merge main to nightly #144: Commit c4e111b pushed by joehendrix
January 4, 2024 04:50 12s main
main
January 4, 2024 04:50 12s
feat: array lemmas for append and extract (#497) Merge main to nightly #143: Commit 9067da5 pushed by joehendrix
January 4, 2024 04:49 14s main
main
January 4, 2024 04:49 14s
feat: upstream mathlib definitions used for ImportGraph (#481) Merge main to nightly #142: Commit 2277a72 pushed by joehendrix
January 4, 2024 04:27 15s main
main
January 4, 2024 04:27 15s
Port: solve_by_elim from Mathlib (#447) Merge main to nightly #141: Commit 0967fe3 pushed by joehendrix
January 4, 2024 04:27 14s main
main
January 4, 2024 04:27 14s
fix: Fix timeout in bitvector pattern matches. (#501) Merge main to nightly #140: Commit d8610e1 pushed by digama0
January 3, 2024 19:54 15s main
main
January 3, 2024 19:54 15s
fix: don't panic when linting in empty environments (#494) Merge main to nightly #139: Commit 6ed0fa6 pushed by joehendrix
January 2, 2024 21:28 15s main
main
January 2, 2024 21:28 15s
feat: add Nat.one_dvd, Nat.dvd_one, and Nat.zero_dvd (#492) Merge main to nightly #138: Commit 03a0f24 pushed by digama0
January 1, 2024 22:53 13s main
main
January 1, 2024 22:53 13s
fix: synthesize pending mvars after rcases (#493) Merge main to nightly #137: Commit a035269 pushed by digama0
January 1, 2024 22:01 12s main
main
January 1, 2024 22:01 12s
fix: synthesizeSyntheticMVarsNoPostponing in rcases subst Merge main to nightly #136: Commit baaa291 pushed by digama0
January 1, 2024 21:37 14s main
main
January 1, 2024 21:37 14s
ProTip! You can narrow down the results and go further in time using created:<2024-01-01 or the other filters available.