diff options
| -rw-r--r-- | config-joey.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config-joey.hs b/config-joey.hs index b9a2bed2..e7a22680 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -70,7 +70,7 @@ hosts = -- (o) ` & Docker.docked hosts "i386-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-companion" ! Docker.docked hosts "armel-git-annex-builder" & Docker.garbageCollected `period` Daily & Apt.buildDep ["git-annex"] `period` Daily |