From 5ad6e1e443305c4f581b77f8db893f38e1593b61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Fri, 1 Sep 2023 01:56:11 +0200
Subject: [PATCH] fix

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5603364f..494f1e43 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -49,6 +49,7 @@ build-coq.8.17.0:
     OPAM_PINS: "coq version 8.17.0"
     DENY_WARNINGS: "1"
   only:
+  - main@lgaeher/refinedrust-dev
   - /^ci/@lgaeher/refinedrust-dev
 
 trigger-iris.dev:
-- 
GitLab