beab46e965
Update build docs to have the correct set of CMake options
...
* The GitHub plugin was removed, so remove it from the docs and CI
* Add the new DPI manifest option to the build docs.
2020-11-11 00:41:03 +00:00
7067e42da7
Fix version string included in Coverity submission
2020-07-22 23:48:16 +01:00
9997c46ee4
Make Coverity use the main KiCad version string
...
Also create a kicad_build_version.txt file in the build directory
that only contains the version string.
2020-07-22 00:18:29 +01:00
216fd3ff9a
Fix coverity pipeline
...
The original test didn't work if the tgz was not already in the
runner cache. This new test will fail the check if the file is missing
instead of erroring the command.
2020-07-19 03:20:33 +01:00
6a2a4643d1
Refactor CI and include a Coverity scan build
2020-07-18 16:17:55 +01:00
Ian McInerney