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

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
66bd1ca
Revert "Revert "ci: Use macos-11 in all CI (#5493)" (#5503)"
robin-aws Jun 5, 2024
6c79506
Merge branch 'master' of github.com:dafny-lang/dafny into align-mostl…
robin-aws Jun 5, 2024
827d30c
Use macos-latest for publish-release
robin-aws Jun 5, 2024
2a8f054
Fix bad merge
robin-aws Jun 5, 2024
86a2276
Use 10 shards for `run-deep-tests` too for consistency
robin-aws Jun 5, 2024
980e88e
Merge branch 'master' into align-mostly-on-macos-11
robin-aws Jun 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Use macos-latest for publish-release 
Since otherwise brew has to build everything from source on macos-11
  • Loading branch information
@robin-aws
robin-aws committed Jun 5, 2024
commit 827d30cd9014073e7a6ff42efd0eff9f9ef825db
2 changes: 1 addition & 1 deletion .github/workflows/publish-release-reusable.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ env:
jobs:

publish-release:
runs-on: macos-11 # Put back 'ubuntu-20.04' if macos-11 fails in any way
runs-on: macos-latest # Put back 'ubuntu-20.04' if macos-latest fails in any way
steps:
- name: Print version
run: echo ${{ inputs.name }}
Expand Down