diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-08 13:15:28 +0100 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-02-08 13:15:28 +0100 |
| commit | d8d93e143ed5805a5eab33b333deb343a03db9b1 (patch) | |
| tree | d39b6bd08028e4ff5a14d77f8fe6e28c8bb50b65 | |
| parent | Makefile: a micro-fix (diff) | |
| download | math-server-d8d93e143ed5805a5eab33b333deb343a03db9b1.tar.gz math-server-d8d93e143ed5805a5eab33b333deb343a03db9b1.zip | |
build for Mac's M1 also
| -rw-r--r-- | .github/workflows/ci.yml | 4 | ||||
| -rw-r--r-- | Makefile | 2 |
2 files changed, 3 insertions, 3 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 @@ -42,7 +42,7 @@ cmake_dir := $(build_dir)/cmake DESTDIR ?= $(build_dir)/install # Target platforms (used by buildx): -DOCKER_PLATFORMS := linux/amd64,linux/armhf +DOCKER_PLATFORMS := amd64,armhf,arm64 # Docker Hub credentials: DOCKER_USERNAME := egortensin |