disable Nix CI

coq-community · Jun 21, 2024 · 2b36bb1 · 2b36bb1
1 parent 39c484d
commit 2b36bb1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 52 deletions.
diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
diff --git a/README.md b/README.md
@@ -5,7 +5,6 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 # AAC Tactics
 
 [![Docker CI][docker-action-shield]][docker-action-link]
-[![Nix CI][nix-action-shield]][nix-action-link]
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
@@ -15,9 +14,6 @@ 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.20
 [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-action.yml/badge.svg?branch=v8.20
-[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
 

diff --git a/meta.yml b/meta.yml
@@ -4,7 +4,6 @@ shortname: aac-tactics
 organization: coq-community
 community: true
 action: true
-nix: true
 plugin: true
 doi: 10.1007/978-3-642-25379-9_14
 branch: 'v8.20'