From e4e8e6b6780e9198f5ab2793064ae74fee7c821a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 1 Sep 2023 15:23:17 +0200
Subject: [PATCH] maybe fix ci
---
.gitlab-ci.yml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 62d43986..9e30881f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,9 +15,7 @@ variables:
- fp
script:
- git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
- - whoami
- - ls -a $HOME
- - ls -a $HOME/.rustup
+ - source "$HOME/.cargo/env"
- ci/buildjob
cache:
key: "$CI_JOB_NAME"
--
GitLab