diff options
| author | Joey Hess <joey@kitenet.net> | 2014-05-18 14:18:33 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-05-18 14:18:33 -0400 |
| commit | ed6457f7fb381e47426a023ef4e0c474bdab4b6b (patch) | |
| tree | 06f5820b34509bd17349d57b73cd6ad8e56be7e7 /config-joey.hs | |
| parent | 79bc355adc30f02a72a7df0cfbcb178bf85c8432 (diff) | |
| parent | dcf6b88f4638d91d01005b819e92cc4ffccb5f46 (diff) | |
Merge branch 'joeyconfig'
Diffstat (limited to 'config-joey.hs')
| -rw-r--r-- | config-joey.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config-joey.hs b/config-joey.hs index 9278808c..45805897 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -94,8 +94,8 @@ 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 "armel-git-annex-builder-companion" + & Docker.docked hosts "armel-git-annex-builder" & Docker.garbageCollected `period` Daily & Apt.buildDep ["git-annex"] `period` Daily |