Use nix-tool-box

1 files changed, 0 insertions, 32 deletions

diff --git a/.github/workflows/nix.yml b/.github/workflows/nix.yml
deleted file mode 100644
index 6a34426..0000000
--- a/.github/workflows/nix.yml
+++ /dev/null
@@ -1,32 +0,0 @@
-name: Cachix
-on:
-  push:
-jobs:
-  cachix:
-    name: Cachix branch
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        coq: [ "8.11", "8.12" ]
-    steps:
-      - name: Get branch shortname
-        run: echo "##[set-output name=name;]$(echo ${GITHUB_REF#refs/heads/})"
-        id: branch-short
-      - name: Get owner name
-        run: echo "##[set-output name=name;]$(echo $GITHUB_REPOSITORY | cut -d/ -f1)"
-        id: owner
-      - name: Get owner lowercase name
-        run: echo "##[set-output name=name;]$(echo $GITHUB_REPOSITORY | cut -d/ -f1 | tr '[:upper:]' '[:lower:]')"
-        id: owner-lowercase
-      - uses: cachix/install-nix-action@v12
-      - uses: cachix/cachix-action@v8
-        if: steps.owner.outputs.name == 'math-comp' || steps.owner.outputs.name == 'CohenCyril'
-        with:
-          # Name of a cachix cache to push and pull/substitute
-          name: ${{ steps.owner-lowercase.outputs.name }}
-          extraPullNames: coq
-          # Authentication token for Cachix, needed only for private cache access
-          authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-      # building fake mathcomp-fast target
-      - run: nix-build https://github.com/math-comp/math-comp-nix/archive/master.tar.gz --arg config '{coq = "${{ matrix.coq }}"; mathcomp = "${{ steps.owner.outputs.name }}/${{ steps.branch-short.outputs.name }}";}' --argstr package mathcomp