1
0
mirror of https://gitlab.gnome.org/GNOME/glib.git synced 2025-03-15 20:25:12 +01:00

Merge branch 'disable-coverity' into 'main'

ci: Disable the Coverity CI job

See merge request 
This commit is contained in:
Michael Catanzaro 2023-04-26 16:38:16 +00:00
commit 68ad8334b6

@ -595,7 +595,7 @@ scan-build:
paths: paths:
- "_scan_build/meson-logs/scanbuild" - "_scan_build/meson-logs/scanbuild"
coverity: .coverity:
extends: extends:
- .build-linux - .build-linux
- .only-schedules - .only-schedules