diff options
| author | 2018-06-05 22:21:20 +0200 | |
|---|---|---|
| committer | 2018-06-05 22:21:20 +0200 | |
| commit | 099446711c7cd3a7945d38e361a8f3498d0a8148 (patch) | |
| tree | 88306fe0a1848a2a08b5188216f530f366ce9a38 /Pipfile | |
| parent | change directory (diff) | |
use a ci box
Diffstat (limited to 'Pipfile')
| -rw-r--r-- | Pipfile | 3 | 
1 files changed, 3 insertions, 0 deletions
@@ -35,5 +35,8 @@ pushbox = "docker push pythondiscord/snekbox:latest"  buildboxbase = "docker build -t pythondiscord/snekbox-base:latest -f docker/base.Dockerfile ."  pushboxbase = "docker push pythondiscord/snekbox-base:latest" +buildci = "docker build -t pythondiscord/snekbox-ci:latest -f docker/ci.Dockerfile ." +pushci = "docker push pythondiscord/snekbox-ci:latest" +  buildweb = "docker build -t pythondiscord/snekboxweb:latest -f docker/Dockerfile.webapp ."  pushweb = "docker push pythondiscord/snekboxweb:latest"  |