From 3236d936779e576fd48e76ed31ee28c761b76c63 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Tue, 3 Dec 2024 19:36:45 +0100 Subject: [PATCH] DEBUG --- .github/workflows/build.yml | 2 -- 1 file changed, 2 deletions(-) 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