summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--TODO3
1 files changed, 2 insertions, 1 deletions
diff --git a/TODO b/TODO
index 07cb9a1e..097bbac7 100644
--- a/TODO
+++ b/TODO
@@ -311,7 +311,8 @@ properties:
==== reproducible Debian armhf
* next: fix dpkg '1.18.2.0~reproducible1' to not ftbfs
-* then: armhf scheduling (only for testing for now, introduce "arch-factor", eg. amd64=10 and armhf=3, to schedule less on some archs)
+* then: include armhf in index_scheduled
+* then: armhf scheduling (only for testing for now, introduce "arch-factor", eg. amd64=10 and armhf=3, to schedule less on some archs, also limits (when to schedule) should be different for different archs)
* then: armhf building - run the job on jenkins.d.n and build1 on one host and build2 on another and then run debbindiff on jenkins.d.n…
* monitor their temperatures via munin via ssh:
** http://munin-monitoring.org/wiki/Native_ssh