mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-12-14 08:56:34 -05:00
gitlab: explain the container image tag better
This commit is contained in:
parent
c48f36fcb3
commit
1f5da4c20b
1 changed files with 5 additions and 1 deletions
|
|
@ -16,7 +16,8 @@ stages:
|
||||||
|
|
||||||
variables:
|
variables:
|
||||||
# Update this tag when you want to trigger a rebuild the container in which
|
# Update this tag when you want to trigger a rebuild the container in which
|
||||||
# CI runs
|
# CI runs, for example when adding new packages to UBUNTU_DEBS. The tag is
|
||||||
|
# an arbitrary string that identifies the exact container contents.
|
||||||
UBUNTU_TAG: '2019-11-21-01'
|
UBUNTU_TAG: '2019-11-21-01'
|
||||||
UBUNTU_VERSION: '18.04'
|
UBUNTU_VERSION: '18.04'
|
||||||
UBUNTU_IMAGE: "$CI_REGISTRY_IMAGE/ubuntu/$UBUNTU_VERSION:$UBUNTU_TAG"
|
UBUNTU_IMAGE: "$CI_REGISTRY_IMAGE/ubuntu/$UBUNTU_VERSION:$UBUNTU_TAG"
|
||||||
|
|
@ -31,6 +32,9 @@ build-container:
|
||||||
stage: container
|
stage: container
|
||||||
variables:
|
variables:
|
||||||
GIT_STRATEGY: none # no need to pull the whole tree for rebuilding the image
|
GIT_STRATEGY: none # no need to pull the whole tree for rebuilding the image
|
||||||
|
|
||||||
|
# Remember to update UBUNTU_TAG when modifying this package list! Otherwise
|
||||||
|
# the changes won't have effect since an old container image will be used.
|
||||||
UBUNTU_DEBS: >-
|
UBUNTU_DEBS: >-
|
||||||
autoconf
|
autoconf
|
||||||
automake
|
automake
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue