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
Fix bad merge
  • Loading branch information
@robin-aws
robin-aws committed Jun 5, 2024
commit 2a8f0547d3db70ca1a197b3c2024b10ea499c71d
2 changes: 1 addition & 1 deletion .github/workflows/integration-tests-reusable.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ jobs:
- name: Populate OS list (all platforms)
id: populate-os-list-all
if: inputs.all_platforms
run: echo "os-list=[ \"macos-11\", \"windows-2019\"]" >> $GITHUB_OUTPUT
run: echo "os-list=[\"ubuntu-20.04\", \"macos-11\", \"windows-2019\"]" >> $GITHUB_OUTPUT
- name: Populate OS list (one platform)
id: populate-os-list-one
if: "!inputs.all_platforms"
Expand Down
Loading