Skip to content

Commit

Permalink
Install cachix from nixpkgs
Browse files Browse the repository at this point in the history
  • Loading branch information
proux01 committed Jun 21, 2024
1 parent 8afb4d7 commit aec7798
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -251,8 +251,8 @@ before_script:
- cat /proc/{cpu,mem}info || true
# Use current worktree as tmpdir to allow exporting artifacts in case of failure
- export TMPDIR=$PWD
# Install Cachix as documented at https://github.com/cachix/cachix
- nix-env -iA cachix -f https://cachix.org/api/v1/install
# Install Cachix
- nix-env -iA nixpkgs.cachix
- cachix use coq
artifacts:
name: "$CI_JOB_NAME.logs"
Expand Down

0 comments on commit aec7798

Please sign in to comment.