|
5fe2c171
|
2023-01-12T18:37:41
|
|
Add 'workflow_dispatch' event trigger to Coverity workflow
|
|
|
d8fa0ebd
|
2023-01-12T18:26:56
|
|
Revert COVERITY_SCAN_PROJECT_NAME change in Coverity workflow
|
|
|
49a179f0
|
2023-01-11T20:05:54
|
|
Fixes for GitHub organisation rename
|
|
03fe6d29
|
2022-11-08T18:00:23
|
|
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.
|
|
7f5ad60d
|
2021-12-28T10:57:19
|
|
update notification email
|
|
e66edcb5
|
2021-12-27T12:31:17
|
|
enable scheduled Coverity scan
|