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
..
codespell.yml	CI: github: add a few more words to the codespell ignore list	2021-01-08 15:03:13 +01:00
compliance.yml	CI: Set DEBUG=-DDEBUG_STRICT=1 in GitHub Actions	2020-11-21 18:27:33 +01:00
contrib.yml	CI: github actions: build several popular "contrib" tools	2021-01-05 17:44:00 +01:00
coverity.yml	CI: Fix the coverity builds	2021-01-28 20:40:14 +01:00
openssl-nodeprecated.yml	…
vtest.yml	CI: Pin VTest to a known good commit	2021-01-20 19:23:57 +01:00
windows.yml	CI: Set DEBUG=-DDEBUG_STRICT=1 in GitHub Actions	2020-11-21 18:27:33 +01:00