From 04ceae0793020e5bf6962a0ac778b8c339e5cdfb Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Wed, 3 Jul 2024 15:24:30 +0200 Subject: [PATCH] fix warning in CI --- .github/workflows/build.yml | 1 - .github/workflows/deploy.yml | 1 - 2 files changed, 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6dce9149c..f08c9412f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -43,7 +43,6 @@ jobs: with: ocaml-compiler: ${{ matrix.ocaml-compiler }} dune-cache: true - opam-depext: true opam-pin: true allow-prerelease-opam: false - name: depext diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 8228d596f..cffbc526b 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -31,7 +31,6 @@ jobs: with: ocaml-compiler: "5.2" dune-cache: false - opam-depext: true opam-pin: true allow-prerelease-opam: false - name: depext