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	…
h2spec.config	…
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