Merge branch 'develop' into 'hotfix-debian_package_name'

14 jobs for hotfix-debian_package_name in 42 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Docker Login
passed docker_login #13032
docker sci ubuntu

00:00:16

 
  Ci
canceled ci:osx #13036
sci osx-10.13

00:00:25

canceled ci:ubuntu_bionic #13035
docker sci ubuntu

00:00:25

canceled ci:ubuntu_trusty #13033
docker sci ubuntu

00:00:25

canceled ci:ubuntu_xenial #13034
docker sci ubuntu

00:00:25

canceled ci:windows #13037
sci windows-10

00:00:24

 
  Deploy
canceled deploy:osx #13041
sci osx-10.13

canceled deploy:ubuntu_bionic #13040
docker sci ubuntu

canceled deploy:ubuntu_trusty #13038
docker sci ubuntu

canceled deploy:ubuntu_xenial #13039
docker sci ubuntu

canceled deploy:windows #13042
sci windows-10

 
  Clean
canceled clean:docker #13043
docker sci ubuntu

canceled clean:osx #13044
sci osx-10.13

canceled clean:windows #13045
sci windows-10