diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a1575d7c83..403355f821 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -34,21 +34,12 @@ jobs: submodules: true - name: Use OCaml ${{matrix.ocaml_compiler}} - if: runner.name != 'macos-arm' uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: ${{matrix.ocaml_compiler}} opam-pin: false opam-depext: false - - name: Use OCaml ${{matrix.ocaml_compiler}} (macOS ARM) - if: runner.name == 'macos-arm' - uses: AbstractMachinesLab/setup-ocaml@arm-support - with: - ocaml-compiler: ${{matrix.ocaml_compiler}} - opam-pin: false - opam-depext: false - - name: Use Node.js uses: actions/setup-node@v3 with: