Skip to content

Commit

Permalink
update nix-action from templates
Browse files Browse the repository at this point in the history
  • Loading branch information
palmskog committed Oct 15, 2023
1 parent 7925e92 commit 5b1ceaf
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/nix-action.yml
Expand Up @@ -44,4 +44,4 @@ jobs:
with:
ref: ${{ env.tested_commit }}
- run: >
nix-build https://coq.inria.fr/nix/toolbox --argstr job chapar --arg override '{ ${{ matrix.overrides }}; chapar = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'
nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job chapar --arg override '{ ${{ matrix.overrides }}; chapar = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'

0 comments on commit 5b1ceaf

Please sign in to comment.