From a36ce91225f7a32fb1071090dd4e027ae68ddd4e Mon Sep 17 00:00:00 2001
From: Lukas Steiner <lsteiner@rhrk.uni-kl.de>
Date: Thu, 23 Mar 2023 10:52:32 +0100
Subject: [PATCH] Remove .a files from artifacts.

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f1cc3857..d9ed3594 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,6 +17,7 @@ build:
         - cmake --build build/coverage -j$(nproc)
     after_script:
         - find . -name "*.o" -type f -delete
+        - find . -name "*.a" -type f -delete
     artifacts:
         paths:
             - build/coverage