From 53422ed37a56c000a74ac20adc4772c34cb90ed6 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:50:51 +0000
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 78fc7452..ba211684 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ variables:
paths:
- _opam/
only:
- - master@gaeher/refinedrust-dev
+ - main@gaeher/refinedrust-dev
- /^ci/@gaeher/refinedrust-dev
- /^time/@gaeher/refinedrust-dev
except:
@@ -37,7 +37,7 @@ build-coq.8.17.0-timing:
DENY_WARNINGS: "1"
OPAM_PKG: "1"
only:
- - master@gaeher/refinedrust-dev
+ - main@gaeher/refinedrust-dev
- /^time/@gaeher/refinedrust-dev
# timing only for master and time/ branches
tags:
--
GitLab