If something is pushed to the dev branch a new docker image should be build, pushed to dockerhub and deployed at https://bpt-lab.org/gryphon-dev. However, this seems not to be working at the moment. The image is build and pushed to dockerhub (https://hub.docker.com/r/bptlab/gryphon/), but not deployed on our docker-VM.
If something is pushed to the dev branch a new docker image should be build, pushed to dockerhub and deployed at https://bpt-lab.org/gryphon-dev. However, this seems not to be working at the moment. The image is build and pushed to dockerhub (https://hub.docker.com/r/bptlab/gryphon/), but not deployed on our docker-VM.