Tim Duesterhus 66d28e7045 CI: Fix the coverity builds ...

In an attempt to fix the use of DEBUG_STRICT commit
7f0f4786d1 unfortunately broke the Coverity
builds completely.

It turns out that Coverity does not properly handle quoting within
`COVERITY_SCAN_BUILD_COMMAND`, instead breaking up single arguments at
whitespace, thus passing `-DDEBUG_USE_ABORT=1` to `make` as-is.

Fix this issue by hijacking the Makefile within the Coverity workflow. We
simply replace the default value of the `DEBUG` option with whatever values we
need. The build command now only includes the TARGET and USE_* flags, each of
which works without any spaces.

2021-01-28 20:40:14 +01:00

..

ISSUE_TEMPLATE

DOC: overhauling github issue templates

2020-08-17 20:29:27 +02:00

workflows

CI: Fix the coverity builds

2021-01-28 20:40:14 +01:00

errorfile

CI: github actions: add weekly h2spec test

2020-03-24 21:04:25 +01:00

h2spec.config

CI: github actions: add weekly h2spec test

2020-03-24 21:04:25 +01:00

matrix.py

CI: github actions: enable 51degrees feature

2020-11-26 19:08:15 +01:00

vtest.json

CI: Expand use of GitHub Actions for CI

2020-11-10 10:15:17 +01:00