[no subject]

[Ludovic Courtès]

branch: master
commit f03b94ea26b05e57dbbdd1b11a7d11d749b0af31
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sun Oct 15 17:56:33 2023 +0200

    Update TODO.
---
 TODO | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 5edda2a..176ec20 100644
--- a/TODO
+++ b/TODO
@@ -3,6 +3,9 @@
 #+TITLE: What's left to do?
 #+STARTUP: content hidestars
 
+* Allow ‘latest-channel-instances’ to time out
+* Allow builds to be retried several times
+* Display first failure on build page
 * Notify instead of polling
 
   - 'register' notifies 'remote-server' of available builds
@@ -15,7 +18,6 @@
 
 * Improve the user interface
 
-** Clarify the new success/failure/queued figures on eval page
 ** Colorize build logs
 
 With client-side JS; folding of build phases, etc.