From d3b211c405e1b4be64fc467457fb5425773393a4 Mon Sep 17 00:00:00 2001 From: Thomas Roeblitz Date: Mon, 6 May 2024 10:57:50 +0200 Subject: [PATCH] clarifying constants used for job result files --- tools/job_metadata.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/job_metadata.py b/tools/job_metadata.py index 992bb387..286f71cb 100644 --- a/tools/job_metadata.py +++ b/tools/job_metadata.py @@ -58,10 +58,14 @@ # JWD/_bot_jobJOBID.result JOB_RESULT_SECTION = "RESULT" +# constants representing settings JOB_RESULT_ARTEFACTS = "artefacts" JOB_RESULT_COMMENT_DESCRIPTION = "comment_description" -JOB_RESULT_FAILURE = "FAILURE" JOB_RESULT_STATUS = "status" +# constants representing values for JOB_RESULT_STATUS (the values of these +# constants need to correspond to what the `bot/check-build.sh` script uses when +# writing the _bot_jobJOBID.result file) +JOB_RESULT_FAILURE = "FAILURE" JOB_RESULT_SUCCESS = "SUCCESS" # JWD/_bot_jobJOBID.test