Merge branch 'feature/ci/pathcrawler' into 'master'

[ci] add pathcrawler See merge request frama-c/frama-c!4179

Merge branch 'feature/ci/pathcrawler' into 'master'
05038033 · Allan Blanchard · e9369722 · f453bf28 · 05038033
Commit 05038033 authored 1 year ago by Allan Blanchard
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -222,6 +222,7 @@ external-plugins:
          "meta",
          "minimal",
          "mthread",
+          "pathcrawler",
          "security",
          "volatile"
        ]