diff options
1 files changed, 9 insertions, 4 deletions
| -rw-r--r-- | .gitlab-ci.yml | 13 |
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7893114..5a5ba7d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,7 +11,9 @@ stages: make: stage: build script: - - pacman -Syu --noconfirm webkit2gtk pkg-config gettext + - pacman -Syu --noconfirm webkit2gtk pkg-config gettext gcc + - make CC=gcc + - make clean - make CC=clang - make install @@ -25,8 +27,11 @@ format: scan-build: stage: analysis script: - - pacman -Syu --noconfirm webkit2gtk pkg-config gettext - - scan-build -o scan-build make + - pacman -Syu --noconfirm webkit2gtk pkg-config gettext gcc + - scan-build --use-cc=gcc -o scan-build-gcc make + - make clean + - scan-build --use-cc=clang -o scan-build-clang make artifacts: paths: - - scan-build/* + - scan-build-gcc/* + - scan-build-clang/* |