devtools/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-04-10 11:34:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Remove branch name from nightly tag job.

Browse Source
This commit is contained in:
Antonio Sanchez
2024-12-09 20:18:06 -08:00
parent 7f23778593
commit 00776d1ba4
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ci/deploy.gitlab-ci.yml
View File

@@ -1,5 +1,5 @@
# Push a nightly tag if the pipeline succeeded. # Push a nightly tag if the pipeline succeeded.
deploy:tag: deploy:tag:nightly:
stage: deploy stage: deploy
image: ubuntu:latest image: ubuntu:latest
before_script: before_script:
@@ -8,7 +8,7 @@ deploy:tag:
- apt-get install -y --no-install-recommends git - apt-get install -y --no-install-recommends git
script: script:
- git tag -f nightly $CI_COMMIT_SHORT_SHA - git tag -f nightly $CI_COMMIT_SHORT_SHA
- git push $EIGEN_CI_GIT_PUSH_URL $CI_COMMIT_BRANCH tag nightly - git push $EIGEN_CI_GIT_PUSH_URL tag nightly
tags: tags:
- linux - linux
- eigen-runner - eigen-runner