From e294617443756f7cb6ef68ba0b36b33cb46a6d49 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:16:21 +0200
Subject: [PATCH] debug ci scrip
---
.gitlab-ci.yml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e28a0ea7..62d43986 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -15,6 +15,9 @@ variables:
- fp
script:
- git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
+ - whoami
+ - ls -a $HOME
+ - ls -a $HOME/.rustup
- ci/buildjob
cache:
key: "$CI_JOB_NAME"
--
GitLab