Now everything is called dynasty.

Author: sjunges

.travis.yml

@@ -32,7 +32,7 @@ jobs:
       deploy:
         - provider: script
           skip_cleanup: true
-          script: bash travis/deploy_docker.sh sketching
+          script: bash travis/deploy_docker.sh dynasty
     # Docker stormpy master in debug mode
     - os: linux
       compiler: gcc
@@ -42,7 +42,7 @@ jobs:
       deploy:
         - provider: script
           skip_cleanup: true
-          script: bash travis/deploy_docker.sh sketching
+          script: bash travis/deploy_docker.sh dynasty
     # Docker stormpy latest release
     - os: linux
       compiler: gcc