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 10 shards for run-deep-tests too for consistency
  • Loading branch information
@robin-aws
robin-aws committed Jun 5, 2024
commit 86a2276addd3668723bc50785c1b2b19d50f9b1f
2 changes: 1 addition & 1 deletion .github/workflows/msbuild.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ jobs:
# label, and skip checking the nightly build above.
# This is the best way to fix an issue in master that was only caught by the nightly build.
all_platforms: ${{ contains(github.event.pull_request.labels.*.name, 'run-deep-tests') || contains(github.event.push.labels.*.name, 'run-deep-tests')}}
num_shards: 5
num_shards: ${{ (contains(github.event.pull_request.labels.*.name, 'run-deep-tests') || contains(github.event.push.labels.*.name, 'run-deep-tests')) && 10 || 5 }}

test-coverage-analysis:
runs-on: ubuntu-20.04
Expand Down
Loading