diff options
| author | Joey Hess <joey@kitenet.net> | 2014-07-15 12:55:36 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-15 12:55:36 -0400 |
| commit | 47b5345080cee1b480c3f2868828c96bd54b5670 (patch) | |
| tree | 2583c811e6b82811abd53d0d2c0f19da98d4772a | |
| parent | c71e69a3fbe28792ca42fff9e3ecfa537f40a914 (diff) | |
propellor spin
| -rw-r--r-- | config-joey.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config-joey.hs b/config-joey.hs index e67262eb..13c94c2c 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -67,9 +67,10 @@ hosts = -- (o) ` & Docker.configured & Docker.docked hosts "amd64-git-annex-builder" & Docker.docked hosts "i386-git-annex-builder" - & Docker.docked hosts "armel-git-annex-builder-companion" - & Docker.docked hosts "armel-git-annex-builder" & Docker.docked hosts "android-git-annex-builder" + -- not currently working + ! Docker.docked hosts "armel-git-annex-builder-companion" + ! Docker.docked hosts "armel-git-annex-builder" & Docker.garbageCollected `period` Daily & Apt.buildDep ["git-annex"] `period` Daily |