diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 588d17112..076f15a88 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -95,13 +95,15 @@ jobs: - run: opam install conf-pkg-config if: runner.os == 'Windows' - - run: opam pin --with-version `cat VERSION` . --best-effort + - run: opam pin --with-version $(cat VERSION) . --best-effort if: ${{ matrix.skip-test }} + shell: bash - run: | - opam pin --with-version `cat VERSION` . + opam pin --with-version $(cat VERSION) . -n opam install . --deps-only --with-test if: ${{ !matrix.skip-test }} + shell: bash - run: opam exec -- make all if: ${{ !matrix.skip-test }}