Commit 7169be75 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

Fix CI failures due to recent Git CVE fix and file permission issues

parent 0926fbd9
Pipeline #49090 passed with stage
in 63 minutes and 50 seconds
......@@ -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:
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment