From 7169be755db6c7a57ad7ac4556b6b786e3951ed8 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 28 Sep 2022 16:46:30 +0200
Subject: [PATCH] Fix CI failures due to recent Git CVE fix and file permission
issues
---
.gitlab-ci.yml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b9679140a..a557260f9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,9 @@ variables:
script:
- make -C $TARGET/.frama-c clean
- make $TARGET
+ # note: the command below is needed due to recent git releases, which
+ # enforce stricter permission controls w.r.t to ownership of '.git'.
+ - git config --global --add safe.directory $PWD
- git diff --exit-code $TARGET
- make $TARGET.sarif
artifacts:
--
GitLab