mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-10-31 22:25:33 -04:00
ci: Fix comment
The UBUNTU_DEBS variable has been replaced by FDO_DISTRIBUTION_PACKAGES.
This commit is contained in:
parent
05f567086b
commit
8614a37a95
1 changed files with 3 additions and 2 deletions
|
|
@ -16,8 +16,9 @@ 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, for example when adding new packages to UBUNTU_DEBS. The tag is
|
# CI runs, for example when adding new packages to FDO_DISTRIBUTION_PACKAGES.
|
||||||
# an arbitrary string that identifies the exact container contents.
|
# The tag is an arbitrary string that identifies the exact container
|
||||||
|
# contents.
|
||||||
FDO_DISTRIBUTION_TAG: '2020-03-07-01'
|
FDO_DISTRIBUTION_TAG: '2020-03-07-01'
|
||||||
FDO_DISTRIBUTION_VERSION: '18.04'
|
FDO_DISTRIBUTION_VERSION: '18.04'
|
||||||
FDO_UPSTREAM_REPO: 'pulseaudio/pulseaudio'
|
FDO_UPSTREAM_REPO: 'pulseaudio/pulseaudio'
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue