From 1b5711984dce0bdece5193def1eb92e7485b46a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 1 Sep 2023 12:12:41 +0200
Subject: [PATCH] set ci variables

---
 .gitlab-ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 494f1e43..7e1b6f13 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,6 @@
-image: registry.mpi-sws.org/gaeher/rust-ci
+image: $CI_REGISTRY/gaeher/rust-ci
+before_script:
+  - docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" $CI_REGISTRY
 
 stages:
   - build
-- 
GitLab