[CI] [opam] Use opam depext

In opam 2, depext is directly integrate as per https://opam.ocaml.org/blog/opam-2-0-10-2-1-1-depext/
mit-plv · Nov 9, 2023 · 03d4e06 · 03d4e06
1 parent 7d64e77
commit 03d4e06
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -112,8 +112,7 @@ jobs:
     - run: opam repo add coq-released https://coq.inria.fr/opam/released
     - run: opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
     - run: opam update
-    - run: opam install opam-depext
-    - run: opam exec -- opam-depext coq.${{ matrix.coq-version }}
+    - run: opam depext coq.${{ matrix.coq-version }}
     - run: opam pin --kind=version add coq ${{ matrix.coq-version }}
 
     - name: echo more build params