diff options
Diffstat (limited to '.github/workflows/nix.yml')
| -rw-r--r-- | .github/workflows/nix.yml | 32 |
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 |