Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: adaptations for nightly-2024-11-15 #19175

Open
wants to merge 70 commits into
base: bump/v4.15.0
Choose a base branch
from
Open

chore: adaptations for nightly-2024-11-15 #19175

wants to merge 70 commits into from

Commits on Nov 10, 2024

  1. Update lean-toolchain for testing leanprover/lean4#6024

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 10, 2024
    Configuration menu
    Copy the full SHA
    ca56307 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. Trigger CI for leanprover/lean4#6024

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    2361f93 View commit details
    Browse the repository at this point in the history

  2. fix first round of failures for leanprover/lean4#6024

    @kim-em
    kim-em committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    783e37d View commit details
    Browse the repository at this point in the history

  3. fix most of 2nd round of failures for leanprover/lean4#6024

    @kim-em
    kim-em committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    afadc60 View commit details
    Browse the repository at this point in the history

  4. more fixes

    @kim-em
    kim-em committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ea3e578 View commit details
    Browse the repository at this point in the history

  5. fixes

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    41dcf04 View commit details
    Browse the repository at this point in the history

  6. fixes

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    d9ad7e8 View commit details
    Browse the repository at this point in the history

  7. fixes

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    b831286 View commit details
    Browse the repository at this point in the history

  8. fixes

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    03f7ab6 View commit details
    Browse the repository at this point in the history

  9. built mathlib!

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    336cd6a View commit details
    Browse the repository at this point in the history

  10. lint

    @kmill
    kmill committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    3d52276 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. bump deps

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    14ecc17 View commit details
    Browse the repository at this point in the history

  2. chore: bump dependencies

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    250bb15 View commit details
    Browse the repository at this point in the history

  3. bump deps

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    5883eb2 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    0b56c17 View commit details
    Browse the repository at this point in the history

  5. bump aesop

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    7018874 View commit details
    Browse the repository at this point in the history

  6. shake

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    abb3bda View commit details
    Browse the repository at this point in the history

  7. merge bump_deps_11_14

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2e937f9 View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    65c3efc View commit details
    Browse the repository at this point in the history

  9. chore: bump to nightly-2024-11-14

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    fab6ff3 View commit details
    Browse the repository at this point in the history

  10. add maxHeartbeats

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e5c238b View commit details
    Browse the repository at this point in the history

  11. merge

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2cbf446 View commit details
    Browse the repository at this point in the history

  12. maxheartbeats

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    72854cf View commit details
    Browse the repository at this point in the history

  13. bump deps

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    b0a9ae3 View commit details
    Browse the repository at this point in the history

  14. bump deps

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    bc60566 View commit details
    Browse the repository at this point in the history

  15. hm

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    19f952e View commit details
    Browse the repository at this point in the history

  16. fixes

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2b2c002 View commit details
    Browse the repository at this point in the history

  17. Fixes

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    3080ea2 View commit details
    Browse the repository at this point in the history

  18. fixes

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    f7cb8ad View commit details
    Browse the repository at this point in the history

  19. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    764642e View commit details
    Browse the repository at this point in the history

  20. fix

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    3b9cb77 View commit details
    Browse the repository at this point in the history

  21. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e76e277 View commit details
    Browse the repository at this point in the history

  22. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    134d8af View commit details
    Browse the repository at this point in the history

  23. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    889a393 View commit details
    Browse the repository at this point in the history

  24. fixes

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    c310f98 View commit details
    Browse the repository at this point in the history

  25. deprecation

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    6ff59b9 View commit details
    Browse the repository at this point in the history

  26. Merge remote-tracking branch 'origin/master' into nightly-testing

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    22c9339 View commit details
    Browse the repository at this point in the history

  27. fix

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    5d03a2c View commit details
    Browse the repository at this point in the history

  28. chore: adaptations for nightly-2024-11-14

    @kim-em
    kim-em committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2895654 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    9433ce5 View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    7419c32 View commit details
    Browse the repository at this point in the history

  3. chore: bump to nightly-2024-11-15

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    7b5a2a9 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    0d578ec View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    4f86644 View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    d0abf98 View commit details
    Browse the repository at this point in the history

  7. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    30c489a View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    4837b02 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2024

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    9d35e3e View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    b67d158 View commit details
    Browse the repository at this point in the history

  3. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    988f826 View commit details
    Browse the repository at this point in the history

  4. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    0d0da00 View commit details
    Browse the repository at this point in the history

  5. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    4efb1db View commit details
    Browse the repository at this point in the history

  6. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    437c8f5 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2024

  1. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    018657d View commit details
    Browse the repository at this point in the history

  2. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    c8160f3 View commit details
    Browse the repository at this point in the history

  3. fixes

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    eecca9e View commit details
    Browse the repository at this point in the history

  4. fixes

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    9efb8db View commit details
    Browse the repository at this point in the history

  5. fix

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    473614e View commit details
    Browse the repository at this point in the history

  6. fix

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    68637fe View commit details
    Browse the repository at this point in the history

  7. swap out notation

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    c3b9634 View commit details
    Browse the repository at this point in the history

  8. Merge master into nightly-testing

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    a50d094 View commit details
    Browse the repository at this point in the history

  9. fix

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    5cbd4e8 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'nightly-testing' of github.com:leanprover-community/mat… 

    …hlib4 into nightly-testing
    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    5cf53c4 View commit details
    Browse the repository at this point in the history

  11. shake

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    0e3b213 View commit details
    Browse the repository at this point in the history

  12. fix deprecate to again

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    e242fe4 View commit details
    Browse the repository at this point in the history

  13. fixes

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    89e8f88 View commit details
    Browse the repository at this point in the history

  14. chore: adaptations for nightly-2024-11-15

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    3b37d5f View commit details
    Browse the repository at this point in the history

  15. fix

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    bf64874 View commit details
    Browse the repository at this point in the history

  16. shake

    @kim-em
    kim-em committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    32ba9ea View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2024

  1. reduce imports

    @kim-em
    kim-em committed Nov 18, 2024
    Configuration menu
    Copy the full SHA
    3b09f5e View commit details
    Browse the repository at this point in the history