Skip to content
Snippets Groups Projects
Commit e6d3ff8d authored by Jonas Leder's avatar Jonas Leder
Browse files

added pass if error to push

parent 51425962
Branches
Tags
No related merge requests found
Pipeline #92 failed
...@@ -32,7 +32,7 @@ build-release: #This will be executed if you push on master, it makes a new rele ...@@ -32,7 +32,7 @@ build-release: #This will be executed if you push on master, it makes a new rele
- git config --global user.name "build" - git config --global user.name "build"
- git config --global user.email "noreply@jonasled.de" - git config --global user.email "noreply@jonasled.de"
- git tag -a $version -m "$version" #add a tag with the current version - git tag -a $version -m "$version" #add a tag with the current version
# - git push --tags -o ci.skip ssh://git@gitlab.jonasled.de:2222/jonasled/url_shorter_docker #Push the tag to the repo ci.skip means don't build the image again. I've configured an ssh key for the runner user,so it can push via ssh. - git push --tags -o ci.skip ssh://git@gitlab.jonasled.de:2222/jonasled/url_shorter_docker || true #Push the tag to the repo ci.skip means don't build the image again. I've configured an ssh key for the runner user,so it can push via ssh.
- sudo docker image prune -f #Delete old unused images - sudo docker image prune -f #Delete old unused images
- sudo docker pull python:3 - sudo docker pull python:3
- sudo docker build -t gitlab.jonasled.de/jonasled/url_shorter_docker . #Build the image with the name already set to push - sudo docker build -t gitlab.jonasled.de/jonasled/url_shorter_docker . #Build the image with the name already set to push
... ...
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment