From 59cf47e384595f2c19aea5b81a2b0b3af4587b0f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 19 Jan 2024 20:46:56 +0100
Subject: [PATCH] [ci] Remove obsolete pin on dune for Coq git build

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index df73122e..40d889b9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -84,7 +84,6 @@ jobs:
         if: ${{ matrix.coq-from-git }}
         run: |
           eval $(opam env)
-          opam pin add -k version dune 3.3.1
           # First we update SERAPI_COQ_HOME for future steps as per https://docs.github.com/en/actions/reference/workflow-commands-for-github-actions#setting-an-environment-variable
           echo "SERAPI_COQ_HOME=$HOME/coq-$COQ_BRANCH/_build/install/default/lib/" >> $GITHUB_ENV
           # Update to coq-core some day