From a169a6ca6c04dbb2879ff4d0cb059355a4d76278 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 d1185c344a..15afd7eadc 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