push develop to dockerhub
## Motivation
We want each merge to `develop` to result in a push to Dockerhub.
## Changes
Trigger a push to Dockerhub using Travis.
@@ -50,7 +50,7 @@ jobs:
name: "Push to dockerHub"
script:
- make dockerpush
- if: (branch = staging OR branch = trying) AND type != pull_request
+ if: (branch = develop OR branch = staging OR branch = trying) AND type != pull_request
- stage: system-test
name: "Run late nodes system test"
script:
