From d52913377b98d8064882e59f9c9be62282ff6c95 Mon Sep 17 00:00:00 2001
From: "Mulas, Giacomo" <gmulas@oa-cagliari.inaf.it>
Date: Thu, 25 Jan 2024 15:13:06 +0100
Subject: [PATCH] reset gitlab-ci build script
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 780733f9..dbe3ed28 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -46,7 +46,7 @@ building_stage:
- cat /etc/os-release
- cd src
- echo "Running make ..."
- - make -j || ls ../objects
+ - make -j
- make docs -j && make -C ../doc/build/latex -j
running_stage:
--
GitLab