diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -310,6 +310,7 @@ properties: * then: repo overview with binary packages * then: armhf scheduling (only for testing for now) * then: armhf building… +* monitor their temperatures via munin, probably using munin-async via ssh… ==== remote jenkins job scheduling: ---- |