fix(nix): Add missing quotes for dev_version if custom value

coq-community · Sep 2, 2024 · 693e0a4 · 693e0a4
1 parent 078c045
commit 693e0a4
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