From a0af084ca2eb170088796c82a6f17f45d7358efd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Thu, 31 Aug 2023 23:53:48 +0000
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ba211684..0f2f30fd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,9 +21,9 @@ variables:
paths:
- _opam/
only:
- - main@gaeher/refinedrust-dev
- - /^ci/@gaeher/refinedrust-dev
- - /^time/@gaeher/refinedrust-dev
+ - main@lgaeher/refinedrust-dev
+ - /^ci/@lgaeher/refinedrust-dev
+ - /^time/@lgaeher/refinedrust-dev
except:
- triggers
- schedules
@@ -37,8 +37,8 @@ build-coq.8.17.0-timing:
DENY_WARNINGS: "1"
OPAM_PKG: "1"
only:
- - main@gaeher/refinedrust-dev
- - /^time/@gaeher/refinedrust-dev
+ - main@lgaeher/refinedrust-dev
+ - /^time/@lgaeher/refinedrust-dev
# timing only for master and time/ branches
tags:
- fp-timing
@@ -49,7 +49,7 @@ build-coq.8.17.0:
OPAM_PINS: "coq version 8.17.0"
DENY_WARNINGS: "1"
only:
- - /^ci/@gaeher/refinedrust-dev
+ - /^ci/@lgaeher/refinedrust-dev
trigger-iris.dev:
<<: *template
--
GitLab