Capture artifacts from `make dist` to save at release time.
Signed-off-by: Mario Limonciello <mario.limonciello@amd.com>
This commit is contained in:
parent
bcc397d610
commit
f12059b76a
|
@ -16,8 +16,12 @@ release:
|
||||||
- if: $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME
|
- if: $CI_MERGE_REQUEST_SOURCE_BRANCH_NAME
|
||||||
when: never
|
when: never
|
||||||
- if: $RELEASE_TOKEN
|
- if: $RELEASE_TOKEN
|
||||||
|
artifacts:
|
||||||
|
paths:
|
||||||
|
- dist/*
|
||||||
script:
|
script:
|
||||||
- CI_PUSH_REPO=`echo "$CI_REPOSITORY_URL" | sed 's/^.*@/@/g'`
|
- CI_PUSH_REPO=`echo "$CI_REPOSITORY_URL" | sed 's/^.*@/@/g'`
|
||||||
- git remote set-url --push origin "https://gitlab-ci-token:${RELEASE_TOKEN}$CI_PUSH_REPO"
|
- git remote set-url --push origin "https://gitlab-ci-token:${RELEASE_TOKEN}$CI_PUSH_REPO"
|
||||||
- git tag `date "+%Y%m%d"`
|
- git tag `date "+%Y%m%d"`
|
||||||
- git push --tags
|
- git push --tags
|
||||||
|
- make dist
|
||||||
|
|
Loading…
Reference in New Issue