From 9d9cf1d3a7ee9d3a488716da8d7bdad37f311cf1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bob=20Dr=C3=B6ge?= Date: Mon, 10 Jul 2023 10:20:39 +0200 Subject: [PATCH] add build_logs_dir setting --- bot/bot-eessi-aws-citc.cfg | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bot/bot-eessi-aws-citc.cfg b/bot/bot-eessi-aws-citc.cfg index 5b3ad34612..3d5f2c77bf 100644 --- a/bot/bot-eessi-aws-citc.cfg +++ b/bot/bot-eessi-aws-citc.cfg @@ -28,6 +28,9 @@ private_key = /mnt/shared/home/bot/eessi-bot-software-layer/eessi-bot-citc-aws-p # name of the job script used for building an EESSI stack build_job_script = /mnt/shared/home/bot/eessi-bot-software-layer/scripts/bot-build.slurm +# Path (directory) to which build logs for (only) failing builds should be copied by bot/build.sh script +build_logs_dir = /mnt/shared/bot-build-logs + # The container_cachedir may be used to reuse downloaded container image files # across jobs. Thus, jobs can more quickly launch containers. container_cachedir = /mnt/shared/home/bot/eessi-bot-software-layer/containers-cache-dir