push.yml: lighten the load on GitHub Actions

stephengold · Jun 29, 2024 · 60366f9 · 60366f9
1 parent ed921bc
commit 60366f9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -26,7 +26,7 @@ jobs:
           distribution: 'zulu'
           java-version: 11
       - uses: actions/checkout@v4
-      - run: ./gradlew run build --console=plain --no-daemon
+      - run: ./gradlew -Pplatform=MacOSX64 run build --console=plain --no-daemon
 
   Java17-MacOS:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false
@@ -37,7 +37,7 @@ jobs:
           distribution: 'zulu'
           java-version: 17
       - uses: actions/checkout@v4
-      - run: ./gradlew build --console=plain --no-daemon
+      - run: ./gradlew -Pplatform=MacOSX_ARM64 build --console=plain --no-daemon
 
   Java21-Windows:
     if: contains(toJson(github.event.commits), '[ci skip] ') == false