Ilya Shipitsin
|
93da767676
|
CI: fix coverity task
|
2023-08-12 22:38:27 +02:00 |
|
Ilya Shipitsin
|
30c240160d
|
CI: get rid of travis-ci coverity wrapper
|
2023-08-08 08:11:40 +02:00 |
|
Joshua Sing
|
5fe2c171a5
|
Add 'workflow_dispatch' event trigger to Coverity workflow
|
2023-01-12 18:37:41 +11:00 |
|
Joshua Sing
|
d8fa0ebd0b
|
Revert COVERITY_SCAN_PROJECT_NAME change in Coverity workflow
|
2023-01-12 18:31:11 +11:00 |
|
Joshua Sing
|
49a179f0d9
|
Fixes for GitHub organisation rename
|
2023-01-11 20:05:54 +11:00 |
|
Darren Tucker
|
03fe6d2904
|
Update checkout action to current version.
checkout v2 uses node.js v12 which is has been recently deprecated by
github so switch to using the one on the main branch.
|
2022-11-08 12:54:43 +01:00 |
|
Brent Cook
|
7f5ad60d69
|
update notification email
|
2021-12-28 10:57:19 -06:00 |
|
Ilya Shipitsin
|
e66edcb58f
|
enable scheduled Coverity scan
|
2021-12-27 12:31:17 +05:00 |
|