diff options
author | Malfurious <m@lfurio.us> | 2023-10-31 10:56:12 -0400 |
---|---|---|
committer | Malfurious <m@lfurio.us> | 2023-11-02 06:11:59 -0400 |
commit | b044b6da7f584f3038ac995c4a53e44f1135d9d3 (patch) | |
tree | 325962acf5be00537634319f20c8373497b70035 /README.txt | |
parent | a5bed544ab2d63492baa07af56176adb195565ab (diff) | |
download | cychedelic-b044b6da7f584f3038ac995c4a53e44f1135d9d3.tar.gz cychedelic-b044b6da7f584f3038ac995c4a53e44f1135d9d3.zip |
acid: Rework build log records
Two new pieces of metadata are now included in a job record: the git
commit hash, and an indicator of the job execution reason (aka: push
event, or periodic maintenance).
The job records themselves are converted into directories containing
files which define these metadata. Previously, all metadata was packed
(underscore-delimited) into the log filename.
The indication of job PASS/FAIL is no longer given by a line of text
appended to the log. Instead, a file named 'fail' will exist in the
directories of failed jobs.
The semantics of the status file are further defined by this patch as
well. The file will contain:
"": when the system is idle
"maint": when maintenance is in progress (inbetween jobs)
a job number: when a job is in progress
and the file will _always_ exist.
Signed-off-by: Malfurious <m@lfurio.us>
Diffstat (limited to 'README.txt')
0 files changed, 0 insertions, 0 deletions