diff options
author | Christopher Baines <mail@cbaines.net> | 2021-02-14 09:08:03 +0000 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2021-02-14 09:08:03 +0000 |
commit | e4349a3c26b1243a274d298c5e259566a5cb0a52 (patch) | |
tree | 7c1cb46f08a4c3f5e31887c898c363dc188bdd21 | |
parent | ac6a85af9770fa2e2ac33ac20fbdf91103b32f21 (diff) | |
download | build-coordinator-e4349a3c26b1243a274d298c5e259566a5cb0a52.tar build-coordinator-e4349a3c26b1243a274d298c5e259566a5cb0a52.tar.gz |
Add a log message at the end of a build
So it's clearer that it's ended.
-rw-r--r-- | guix-build-coordinator/agent.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/guix-build-coordinator/agent.scm b/guix-build-coordinator/agent.scm index c0043bd..d970a24 100644 --- a/guix-build-coordinator/agent.scm +++ b/guix-build-coordinator/agent.scm @@ -148,7 +148,11 @@ coordinator-interface build-id derivation-name - end-time)))) + end-time))) + (log-msg lgr 'INFO + build-id + ": finished processing: " + derivation-name)) (begin (log-msg lgr 'INFO build-id |