mirror of
https://gitlab.com/libeigen/eigen.git
synced 2025-07-30 00:32:01 +08:00
Add tag to commit instead of branch
This commit is contained in:
parent
c30b35a310
commit
7f23778593
@ -2,15 +2,12 @@
|
||||
deploy:tag:
|
||||
stage: deploy
|
||||
image: ubuntu:latest
|
||||
variables:
|
||||
GIT_STRATEGY: "clone"
|
||||
before_script:
|
||||
- export DEBIAN_FRONTEND=noninteractive
|
||||
- apt-get update -y
|
||||
- apt-get install -y --no-install-recommends git
|
||||
script:
|
||||
- git status
|
||||
- git tag -f nightly $CI_COMMIT_BRANCH
|
||||
- git tag -f nightly $CI_COMMIT_SHORT_SHA
|
||||
- git push $EIGEN_CI_GIT_PUSH_URL $CI_COMMIT_BRANCH tag nightly
|
||||
tags:
|
||||
- linux
|
||||
|
Loading…
x
Reference in New Issue
Block a user