diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4a9de0b..6fd12a7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -95,9 +95,9 @@ jobs: # Building for ARM for every commit not in master is too time-consuming. run: | if [ '${{ github.ref }}' = 'refs/heads/master' ]; then - echo 'platforms=linux/amd64,linux/armhf' >> "$GITHUB_OUTPUT" + echo 'platforms=amd64,armhf,arm64' >> "$GITHUB_OUTPUT" else - echo 'platforms=linux/amd64' >> "$GITHUB_OUTPUT" + echo 'platforms=amd64' >> "$GITHUB_OUTPUT" fi - name: 'Publish math-${{ matrix.project }}' uses: docker/build-push-action@v3 |