diff options
author | ichizok <gclient.gaap@gmail.com> | 2023-08-29 22:16:34 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2023-08-29 22:20:21 +0200 |
commit | 3e1e63de185712a6afa7b4acf4488a5dbcbe5e5f (patch) | |
tree | 5bb468b104ec38542e32a5b6c9327679948b7b45 /.github/workflows/coverity.yml | |
parent | 3ac2d3da5fdf20dfddb450a49502ef47b1f581d4 (diff) |
patch 9.0.1819: Github CI too complexv9.0.1819
Problem: Github CI too complex
Solution: CI: Tidy up matrix
Perform the following changes to the CI configuration:
- Move common CFLAGS to ci/config.mk.sed
- Change extra key to array to able to assign no or multiple values
explicitly
- Modify luaver variable handling
- lib${{ matrix.luaver }}-dev ${{ matrix.luaver }} are confusing
as package names
- Deduplicate CONFOPT setting
closes: #12955
Signed-off-by: Christian Brabandt <cb@256bit.org>
Co-authored-by: ichizok <gclient.gaap@gmail.com>
Diffstat (limited to '.github/workflows/coverity.yml')
-rw-r--r-- | .github/workflows/coverity.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index ba73390f68..2a713fc058 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -13,7 +13,6 @@ jobs: env: CC: gcc - CFLAGS: -Wno-deprecated-declarations DEBIAN_FRONTEND: noninteractive TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} |