rename container

This commit is contained in:
2023-02-17 11:57:01 +01:00
parent e089ef2fd0
commit fa0c76aace

View File

@ -30,7 +30,7 @@ deploy:
- tags - tags
variables: variables:
GIT_STRATEGY: none GIT_STRATEGY: none
CONTAINER_NAME: preprocessor CONTAINER_NAME: level-preprocessor
script: script:
- docker stop $CONTAINER_NAME || echo "container not running, never mind" - docker stop $CONTAINER_NAME || echo "container not running, never mind"
- docker rm $CONTAINER_NAME || echo "container not existing, never mind" - docker rm $CONTAINER_NAME || echo "container not existing, never mind"