From fd7266ee07734b030cf01e03d5e8ca45bab42272 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Mon, 21 Oct 2024 14:53:39 +0200
Subject: [PATCH] Pin version of Coq used in CI. (#65)

Fixes #48.
---
 .github/workflows/docker-action.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index 012979c..a83fee3 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -17,6 +17,7 @@ jobs:
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-platform-docs.opam'
+          coq_version: '8.19'
           before_script: |
             startGroup "Workaround permission issue"
               sudo chown -R coq:coq .  # <--