From 4a1dd2c6fb700ab99fe6bdd8be867c8f2dc2f97d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 8 May 2024 22:16:26 -0700 Subject: [PATCH] Disable js-of-ocaml on arm64 `js_of_ocaml` is too heavy for M1 GH Action runners which have only 7GB RAM, cf https://github.com/ocsigen/js_of_ocaml/issues/1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories --- .github/workflows/coq-macos.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml index 01f89e239b..072a9f545b 100644 --- a/.github/workflows/coq-macos.yml +++ b/.github/workflows/coq-macos.yml @@ -58,12 +58,19 @@ jobs: run: etc/ci/describe-system-config-macos.sh - name: deps run: opam exec -- etc/ci/github-actions-make.sh -j2 deps + - name: all-except-js-of-ocaml + run: opam exec -- etc/ci/github-actions-make.sh -j2 all-except-js-of-ocaml + - name: pre-standalone-extracted + run: opam exec -- etc/ci/github-actions-make.sh -j2 pre-standalone-extracted - name: all run: opam exec -- etc/ci/github-actions-make.sh -j2 all + if: ${{ matrix.os.arch != 'arm64' }} + # js_of_ocaml is too heavy for M1 GH Action runners which have only 7GB RAM, cf https://github.com/ocsigen/js_of_ocaml/issues/1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories - name: install-standalone-unified-ocaml run: opam exec -- etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist - name: install-standalone-js-of-ocaml run: opam exec -- etc/ci/github-actions-make.sh install-standalone-js-of-ocaml + if: ${{ matrix.os.arch != 'arm64' }} - name: only-test-amd64-files-lite run: opam exec -- etc/ci/github-actions-make.sh -j2 only-test-amd64-files-lite SLOWEST_FIRST=1