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

Move mac release CI to hosted ARM runners #3764

Merged
merged 2 commits into from
Oct 27, 2023
+3 −10
Merged

Move mac release CI to hosted ARM runners #3764

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4c5b554
Run macOS CI on our runners
Baltoli Oct 27, 2023
cff9617
Merge branch 'develop' into macos-faster
Baltoli Oct 27, 2023
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
13 changes: 3 additions & 10 deletions .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -175,7 +175,7 @@ jobs:

macos-build:
name: 'Build MacOS Package'
runs-on: macos-13
runs-on: self-macos-13
timeout-minutes: 120
environment: production
needs: [set-release-id, source-tarball]
Expand Down Expand Up @@ -257,7 +257,7 @@ jobs:

macos-test:
name: 'Test MacOS Package'
runs-on: macos-13
runs-on: self-macos-13
goodlyrottenapple marked this conversation as resolved.
Show resolved Hide resolved
timeout-minutes: 60
environment: production
needs: [macos-build, set-release-id]
Expand Down Expand Up @@ -306,14 +306,7 @@ jobs:
spawn-kserver $WD/kserver.log
cd pl-tutorial
echo 'Testing tutorial in user environment...'
# The macOS public runners are prone to flakiness when running this
# test suite with high parallelism:
# - https://github.com/runtimeverification/k/issues/3705
# We know that there are 4 CPUs on macos-13 runners, so rather than
# using them all, we use only 2 to reduce load on the machine. Old
# command:
# make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS}
make -j2 ${MAKE_EXTRA_ARGS}
make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS}
cd ~
echo 'module TEST imports BOOL endmodule' > test.k
kompile test.k --backend llvm
Expand Down