From d38dbce3c7dd3c68337deb36d53d29b01fb3baa4 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Fri, 30 Dec 2022 02:51:34 +0100 Subject: [PATCH] adjust Nix CI --- .github/workflows/nix-action.yml | 2 +- meta.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml index 7f8305c..768e2db 100644 --- 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 index 89c0eb5..db48eb1 100644 --- 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'