fix README.md Nix shield

coq-community · Dec 22, 2023 · 127f2d1 · 127f2d1
1 parent 4422871
commit 127f2d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -15,8 +15,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [docker-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml/badge.svg?branch=v8.19
 [docker-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml
 
-[nix-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-ci.yml/badge.svg?branch=v8.19
-[nix-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-ci.yml
+[nix-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml/badge.svg?branch=v8.19
+[nix-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md