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 /src | |
| 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 'src')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 6aa73a06be..8862ad479a 100644 --- a/src/version.c +++ b/src/version.c @@ -700,6 +700,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1819, +/**/ 1818, /**/ 1817, |