Zip the teal directory

.gitlab-ci.yml

@@ -144,8 +144,7 @@ Teal:
     - CI/teal_ci.sh
   artifacts:
     paths:
-      - build_teal
-
+      - build_teal.zip
 
 Ubuntu_GCC_Debug:
   extends: .Ubuntu
@@ -622,7 +621,6 @@ Windows_MSBuild_RelWithDebInfo:
     - if: $CI_PIPELINE_SOURCE == "push"
     - if: $CI_PIPELINE_SOURCE == "schedule"
 
-
 .Ubuntu_AndroidNDK_arm64-v8a:
   tags:
     - linux
@@ -683,7 +681,7 @@ Windows_MSBuild_RelWithDebInfo:
     - scripts/find_missing_merge_requests.py --project_id=$CI_PROJECT_ID --ignored_mrs_path=$CI_PROJECT_DIR/.resubmitted_merge_requests.txt
 
 .flatpak:
-    image: 'docker.io/bilelmoussaoui/flatpak-github-actions'
+  image: "docker.io/bilelmoussaoui/flatpak-github-actions"
   stage: build
   script:
     - flatpak install -y flathub org.kde.Platform/x86_64/5.15-21.08

CI/teal_ci.sh

@@ -44,3 +44,5 @@ export LUAROCKS
 popd
 pushd docs
 ./build_teal.sh ../build_teal
+popd
+zip build_teal.zip -r build_teal