mutter/.gitlab-ci
Carlos Garnacho 5e8c808cfb ci: Add job for pushing coverity reports
This job does:
1. Download the coverity bundle and untar it
2. Build mutter using clang and the coverity tool
3. Compress the coverity report
4. Upload for analysis

Things to note:
- Analysis are throttled, as per https://scan.coverity.com/faq#frequency
  we qualify for 21 weekly builds, 3 daily. Mutter is sometimes a busy
  project, so it seems we'd get often those consumed early in the day.
  This is something we can resign to, but the times we'll try to upload
  a report to have it rejected make the operation kinda pointless and
  probably better throttled by ourselves.
- The task is manual, given the restrictions above.
- The task only applies on master, as the envvar holding the coverity
  token is protected in gitlab.
- I had to use clang as the coverity tool doesn't seem to work ATM with
  gcc as per recent Fedora.
- The coverity tarball is 1.2GB in size, which is a bit too big to have
  it downloaded each time. As per their upload instructions, the tarball
  gets updated twice yearly, so this is cached to minimize downloads.
- The coverity token for mutter is kept private/hidden in gitlab CI
  settings.

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1100>
2021-07-13 15:14:21 +00:00
..
checkout-gnome-shell.sh ci: Only fetch history for branch tips 2020-12-11 16:56:41 +00:00
commit-rules.yml ci: Replace custom commit-log script with ci-fairy 2021-01-11 14:02:58 +01:00
download-coverity-tarball.sh ci: Add job for pushing coverity reports 2021-07-13 15:14:21 +00:00
install-meson-project.sh ci: Install Xwayland from git 2021-01-25 15:14:35 +00:00
meson-junit-report.py ci: Generate a cover report for the test suite 2020-10-15 10:18:44 +02:00
run-tests.sh ci: Bump to F34 2021-07-08 13:15:18 +00:00