From 8462b6b9d754d49a586e4abcd1172836a2e8349f Mon Sep 17 00:00:00 2001 From: ygrek Date: Tue, 20 Aug 2024 09:37:09 -0400 Subject: [PATCH] ci: is explicit depext needed --- .github/workflows/workflow.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index ff78f706..957a8fda 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -51,8 +51,6 @@ jobs: - run: opam pin add mldonkey.dev . --no-action - - run: opam depext mldonkey --yes --with-doc --with-test - - run: opam install . --deps-only --with-doc --with-test - run: opam exec -- ./configure --enable-debug