e1a5d4e0ba
Fixup CI config
...
* Don't run the Ubuntu job on schedules
* Fix Coverity job by being explicit it is for schedules only
* Separate the caches for the Ubuntu and Fedora jobs
2021-04-09 12:16:45 +01:00
45b1a65a64
Revert Coverity CI to run on Fedora 31
...
Coverity is not currently supporting GCC 10, so we need
to run on GCC 9 for the time being.
2021-01-12 14:29:25 +00:00
1ff307d10f
Save the coverity build log
2021-01-05 23:34:09 +00:00
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