4 Commits

Author	SHA1	Message	Date
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