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

ci: Align mostly on macos-11 #5531

Closed
wants to merge 6 commits into from
Closed

ci: Align mostly on macos-11 #5531

wants to merge 6 commits into from

Commits on Jun 5, 2024

  1. Revert "Revert "ci: Use macos-11 in all CI (dafny-lang#5493)" (dafny-… 

    …lang#5503)"

This reverts commit b5040b9.
    @robin-aws
    robin-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    66bd1ca View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:dafny-lang/dafny into align-mostl… 

    …y-on-macos-11

# Conflicts:
#	.github/workflows/integration-tests-reusable.yml
    @robin-aws
    robin-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    6c79506 View commit details
    Browse the repository at this point in the history

  3. Use macos-latest for publish-release 

    Since otherwise brew has to build everything from source on macos-11
    @robin-aws
    robin-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    827d30c View commit details
    Browse the repository at this point in the history

  4. Fix bad merge

    @robin-aws
    robin-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    2a8f054 View commit details
    Browse the repository at this point in the history

  5. Use 10 shards for run-deep-tests too for consistency

    @robin-aws
    robin-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    86a2276 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Merge branch 'master' into align-mostly-on-macos-11

    @robin-aws
    robin-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    980e88e View commit details
    Browse the repository at this point in the history