From aec779858988373339d91928b1dae5bf63f9ede7 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 21 Jun 2024 14:51:25 +0200
Subject: [PATCH] Install cachix from nixpkgs

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9ab4a0fde079..25fe65d0b525 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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"