Merge pull request #130 from coq-community/fix-nix-version

fix(nix): Add missing quotes for dev_version if custom value
coq-community · Oct 21, 2024 · e34c0cb · e34c0cb
2 parents 523e2fc + 693e0a4
commit e34c0cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
@@ -22,7 +22,7 @@ jobs:
       matrix:
         overrides:
 {{# tested_coq_nix_versions }}
-          - 'coq = "{{ coq_version }}"{{# extra_dev_dependencies }}; {{ nix_name }} = {{ dev_version }}{{^ dev_version }}"master"{{/ dev_version }}{{/ extra_dev_dependencies }}'
+          - 'coq = "{{ coq_version }}"{{# extra_dev_dependencies }}; {{ nix_name }} = "{{ dev_version }}{{^ dev_version }}master{{/ dev_version }}"{{/ extra_dev_dependencies }}'
 {{/ tested_coq_nix_versions }}{{^ tested_coq_nix_versions }}          - 'coq = "master"'
 {{/ tested_coq_nix_versions }}
       fail-fast: false