From 03d4e063a9cc3b86a969b68bfd1ae3b03e2164a9 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 8 Nov 2023 21:50:42 -0800 Subject: [PATCH] [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/ --- .github/workflows/coq-opam-package.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml index bd891efb6a..7b3cfbc4ee 100644 --- 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