From 2b36bb1d9685266d40ff7a61dccd0b0c84e1e1ae Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 21 Jun 2024 09:50:18 +0200
Subject: [PATCH] disable Nix CI

---
 .github/workflows/nix-action.yml | 47 --------------------------------
 README.md                        |  4 ---
 meta.yml                         |  1 -
 3 files changed, 52 deletions(-)
 delete mode 100644 .github/workflows/nix-action.yml

diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
deleted file mode 100644
index 402cc7f..0000000
--- a/.github/workflows/nix-action.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
-name: Nix CI
-
-on:
-  push:
-    branches:
-      - v8.20
-  pull_request:
-    paths:
-    - .github/workflows/**
-  pull_request_target:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        overrides:
-          - 'coq = "v8.20"'
-      fail-fast: false
-    steps:
-      - name: Determine which commit to test
-        run: |
-          if [[ ${{ github.event_name }} =~ "pull_request" ]]; then
-            merge_commit=$(git ls-remote ${{ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge | cut -f1)
-            if [ -z "$merge_commit" ]; then
-              echo "tested_commit=${{ github.event.pull_request.head.sha }}" >> $GITHUB_ENV
-            else
-              echo "tested_commit=$merge_commit" >> $GITHUB_ENV
-            fi
-          else
-            echo "tested_commit=${{ github.sha }}" >> $GITHUB_ENV
-          fi
-      - uses: cachix/install-nix-action@v20
-        with:
-          nix_path: nixpkgs=channel:nixpkgs-unstable
-      - uses: cachix/cachix-action@v12
-        with:
-          name: coq-community
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-          extraPullNames: coq, math-comp
-      - uses: actions/checkout@v3
-        with:
-          ref: ${{ env.tested_commit }}
-      - run: >
-          nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job aac-tactics --arg override '{ ${{ matrix.overrides }}; aac-tactics = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'
diff --git a/README.md b/README.md
index a9e6dfb..1fa3878 100644
--- 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
index cd2257c..8f93883 100644
--- 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'