From 150d2c8ae61af8afab9ae93b17eeecd296c58eb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 4 Nov 2019 11:33:57 +0100
Subject: [PATCH] Avoid reserved bang in yaml
The bang is reserved in yaml, we start a sub-shell
to protect the negation
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 852d7474b3e..387dcfd9346 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,7 +12,7 @@ variables:
check-no-old-frama-c:
stage: git-update
script:
- - ! git merge-base --is-ancestor a1e186c68a6418a53b3dc06237f49e8dcbf75f4a HEAD
+ - (! git merge-base --is-ancestor a1e186c68a6418a53b3dc06237f49e8dcbf75f4a HEAD)
- git merge-base --is-ancestor a35d2118fe6999dddce9e1847eff626fae9cc37c HEAD
tags:
- nix
--
GitLab