fix URL of Nix CI shield

coq-community · Dec 22, 2023 · a678571 · a678571
1 parent 7dccac1
commit a678571
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md.mustache b/README.md.mustache
@@ -40,8 +40,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [docker-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/docker-action.yml
 {{# nix }}
 
-[nix-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-ci.yml/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
-[nix-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-ci.yml
+[nix-action-shield]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-action.yml/badge.svg?branch={{branch}}{{^branch}}master{{/branch}}
+[nix-action-link]: https://github.com/{{ organization }}/{{ shortname }}/actions/workflows/nix-action.yml
 {{/ nix }}
 {{/ action }}
 {{# chat }}