[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Ludovic Courtès |
Date: |
Fri, 22 Dec 2023 11:52:47 -0500 (EST) |
branch: master
commit 5679327e9dcbb085e6fb560fd4a27e634ddf1a9c
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Dec 22 16:47:15 2023 +0100
database: ‘db-restart-build!’ resets weather.
* src/cuirass/database.scm (db-restart-build!): Set ‘weather’ as well.
---
src/cuirass/database.scm | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/cuirass/database.scm b/src/cuirass/database.scm
index a93bf85..dc6566f 100644
--- a/src/cuirass/database.scm
+++ b/src/cuirass/database.scm
@@ -1251,8 +1251,9 @@ UPDATE Builds SET stoptime =" now
(with-db-connection db
(exec-query/bind db "UPDATE Builds SET status="
(build-status scheduled)
- ", starttime = 0, stoptime = 0
- WHERE id=" build-id ";")))
+ ", starttime = 0, stoptime = 0, weather = "
+ (build-weather unknown)
+ " WHERE id=" build-id ";")))
(define (db-restart-evaluation! eval-id)
"Restart the evaluation with EVAL-ID id."