From 405f85741da1e7ca227963746d57f638051dd2e9 Mon Sep 17 00:00:00 2001
From: Laurent Pouilloux <laurent.pouilloux@inria.fr>
Date: Tue, 11 Mar 2025 15:46:45 +0100
Subject: [PATCH] [ci] add section for wikigen log
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d0ce0f5ba94..64fc13714b8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -55,9 +55,9 @@ wikigen:
- if [ "${SITE}" = "global" ]; then export GENERATORS=$GLOBAL_GENERATORS ; else export GENERATORS=$SITE_GENERATORS; fi
- if [ "$CI_COMMIT_BRANCH" = "master" ]; then export WIKI="update"; else export WIKI="diff"; fi
- for GENERATOR in ${GENERATORS}; do
- echo "Running $GENERATOR" ;
+ echo -e "\e[0Ksection_start:`date +%s`:$GENERATOR\r\e[0KRunning $GENERATOR";
bundle exec rake gen:wiki NAME=${GENERATOR} SITE=${SITE} DO=${WIKI} ;
- echo " ";
+ echo -e "\e[0Ksection_end:`date +%s`:$GENERATOR\r\e[0K";
done
check-no-changes-in-data:
--
GitLab