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: merge bump/v4.12.0 #78

Merged
merged 13 commits into from
Sep 3, 2024
Merged

chore: merge bump/v4.12.0 #78

merged 13 commits into from
Sep 3, 2024

Commits on Aug 8, 2024

  1. bump batteries

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

  2. adaptations for nightly-2024-08-08

    @kim-em
    kim-em committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    75abbd8 View commit details
    Browse the repository at this point in the history

  3. bump batteries

    @kim-em
    kim-em committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    f814e78 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #74 from leanprover-community/bump/nightly-2024-08-08 

    chore: adaptations for nightly-2024-08-08
    @kim-em
    kim-em authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    3c96786 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. .

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

  2. Merge branch 'nightly-testing' into bump/nightly-2024-08-09

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

  3. Merge pull request #75 from leanprover-community/bump/nightly-2024-08-09 

    chore: adaptations for nightly-2024-08-09
    @kim-em
    kim-em authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    6f9a1b9 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. bump toolchain to v4.12.0-rc1

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

  2. lake update

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

  3. merge main

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

  4. move batteries back to main

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

  5. move batteries back to main

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

  6. fix imports

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