mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-08-30 12:54:11 +02:00
ci: Support building a CI image for Coverity Scan builds
This will be used in an upcoming scheduled CI job. Signed-off-by: Philip Withnall <withnall@endlessm.com>
This commit is contained in:
@@ -8,7 +8,10 @@ GitLab CI jobs run in a Docker image, defined here. To update that image
|
||||
1. Edit `.gitlab-ci/Dockerfile` with the changes you want
|
||||
1. Run `.gitlab-ci/run-docker.sh build --base=debian-stable --base-version=1` to
|
||||
build the new image (bump the version from the latest listed for that `base`
|
||||
on https://gitlab.gnome.org/GNOME/glib/container_registry)
|
||||
on https://gitlab.gnome.org/GNOME/glib/container_registry). If rebuilding the
|
||||
`coverity.Dockerfile` image, you’ll need to have access to [Coverity Scan][cs]
|
||||
and will need to specify your project name and access token as the environment
|
||||
variables `COVERITY_SCAN_PROJECT_NAME` and `COVERITY_SCAN_TOKEN`.
|
||||
1. Run `.gitlab-ci/run-docker.sh push --base=debian-stable --base-version=1` to
|
||||
upload the new image to the GNOME GitLab Docker registry
|
||||
* If this is the first time you're doing this, you'll need to log into the
|
||||
@@ -21,3 +24,4 @@ GitLab CI jobs run in a Docker image, defined here. To update that image
|
||||
image
|
||||
|
||||
[pat]: https://gitlab.gnome.org/profile/personal_access_tokens
|
||||
[cs]: https://scan.coverity.com/
|
||||
|
Reference in New Issue
Block a user