wip: docker and travis

This commit is contained in:
Christoph Haas 2020-11-10 11:19:40 +01:00
parent 2a19ebf500
commit 93994dbb69
1 changed files with 1 additions and 1 deletions

View File

@ -13,7 +13,7 @@ before_install:
script:
- make docker-image
- make docker-build
# only execute the following instructions in