adjust Nix CI

coq-community · Dec 30, 2022 · d38dbce · d38dbce
1 parent 9281adb
commit d38dbce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         overrides:
-          - 'coq = "8.17"'
+          - 'coq = "v8.17"'
       fail-fast: false
     steps:
       - name: Determine which commit to test

diff --git a/meta.yml b/meta.yml
@@ -57,7 +57,7 @@ supported_ocaml_versions:
     opam: '{>= "4.09.0"}'
 
 tested_coq_nix_versions:
-- coq_version: '8.17'
+- coq_version: 'v8.17'
 
 tested_coq_opam_versions:
 - version: '8.17'