From 0c23e92ecebc46734425792f3107cf0cc4f25d2e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 8 Dec 2021 21:56:39 -0500
Subject: [PATCH] fix CI job name
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46cc1194a..7097a6082 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -96,7 +96,7 @@ trigger-stdpp.dev-coq.8.14.1:
- api
# Nightly job with latest Coq branch
-trigger-stdpp.dev-coq.8.14.dev:
+trigger-stdpp.dev-coq.dev:
<<: *template
variables:
STDPP_REPO: "iris/stdpp"
--
GitLab