diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index d875ef6a..65389a99 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -200,8 +200,6 @@ jobs: - run: cat VERSION | xargs opam pin . -n --with-version if: ${{ !matrix.skip-test }} shell: bash - run: | - - run: opam install conf-c++ # Otherwise, the next step fails reinstalling gcc while compiling