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-10-30 #18435

Merged
merged 9 commits into from
Oct 31, 2024
Merged

chore: adaptations for nightly-2024-10-30 #18435

merged 9 commits into from
Oct 31, 2024
+156 −149

Commits on Oct 30, 2024

  1. Merge master into nightly-testing

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

  2. chore: bump to nightly-2024-10-30

    @leanprover-community-mathlib4-bot
    leanprover-community-mathlib4-bot committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    b4c390e 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 Oct 30, 2024
    Configuration menu
    Copy the full SHA
    ea2d050 View commit details
    Browse the repository at this point in the history

  4. bump deps

    @kim-em
    kim-em committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    61b5171 View commit details
    Browse the repository at this point in the history

  5. deprecations

    @kim-em
    kim-em committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    815a176 View commit details
    Browse the repository at this point in the history

  6. mk_All

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

  7. fix test

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

  8. Merge commit '19a2e289f248500411b87004e36f407e44c4c010' into bump/nig… 

    …htly-2024-10-30
    @kim-em
    kim-em committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    7dfac5d View commit details
    Browse the repository at this point in the history

  9. chore: adaptations for nightly-2024-10-30

    @kim-em
    kim-em committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    1686bee View commit details
    Browse the repository at this point in the history