Revert "Use nix-tool-box"

This reverts commit 8674d6996fca76028ead3f75363f11bab4fa3e7c that I
added by accident

1 files changed, 0 insertions, 74 deletions

diff --git a/.github/workflows/nix-action.yml b/.github/workflows/nix-action.yml
deleted file mode 100644
index f31495f..0000000
--- a/.github/workflows/nix-action.yml
+++ /dev/null
@@ -1,74 +0,0 @@
-name: Nix CI
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - '**'
-
-jobs:
-  dependencies:
-    runs-on: ubuntu-latest
-    outputs:
-      matrix: ${{ steps.set-matrix.outputs.matrix }}
-    steps:
-    - name: Cachix install
-      uses: cachix/install-nix-action@v12
-      with:
-        nix_path: nixpkgs=channel:nixpkgs-unstable
-    - name: Cachix setup coq
-      uses: cachix/cachix-action@v8
-      with:
-        # Name of a cachix cache to pull/substitute
-        name: coq
-    - name: Cachix setup math-comp
-      uses: cachix/cachix-action@v8
-      with:
-        # Name of a cachix cache to pull/substitute
-        name: math-comp
-        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-    - name: Git checkout
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-    - name: Building/fetching dependencies
-      run: nix-build --argstr ci-job dependencies
-    - name: Setup build matrix
-      id: set-matrix
-      run: |
-        matrix=$(nix-shell --arg do-nothing true --run nixTasks)
-        echo ::set-output name=matrix::{\"task\":$(echo $matrix)}\"
-
-  main:
-    runs-on: ubuntu-latest
-    needs:
-    - dependencies
-    strategy:
-      matrix: ${{fromJson(needs.dependencies.outputs.matrix)}}
-    steps:
-    - name: Cachix install
-      uses: cachix/install-nix-action@v12
-      with:
-        nix_path: nixpkgs=channel:nixpkgs-unstable
-    - name: Cachix setup coq
-      uses: cachix/cachix-action@v8
-      with:
-        # Name of a cachix cache to pull/substitute
-        name: coq
-    - name: Cachix setup math-comp
-      uses: cachix/cachix-action@v8
-      with:
-        # Name of a cachix cache to pull/substitute
-        name: math-comp
-        authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
-    - name: Git checkout
-      uses: actions/checkout@v2
-      with:
-        fetch-depth: 0
-    - name: Building/fetching dependencies
-      run: nix-build --argstr ci "${{ matrix.task }}" --argstr ci-job dependencies
-    - name: Building/fetching current project
-      run: nix-build --argstr ci "${{ matrix.task }}" --argstr ci-job main
-