3 Commits (5392f27fdd0dceb7a1e679c6f166bdb60c371008)

Author	SHA1	Message	Date
Sayan Nandan	5392f27fdd	Improve builds and fix release builds (#105) ... * Checkout the PR branch if triggered by a PR Signed-off-by: Sayan Nandan <nandansayan@outlook.com> * Use `cmd` as the shell on Windows to fix builds Signed-off-by: Sayan Nandan <nandansayan@outlook.com> #104 did this for pushes; this will do it for releases. * Fix Windows release script Signed-off-by: Sayan Nandan <nandansayan@outlook.com> * No need to checkout to head.ref for PRs Signed-off-by: Sayan Nandan <nandansayan@outlook.com>	4 years ago
Sayan Nandan	2d04a4f841	Enable build skips on PRs ... Iff no source files are changed - skip the compute-intensive build	4 years ago
Sayan Nandan	896b04e665	Use separate actions for PR and Push ... This will enable us to use automation for builds in the future With separate jobs for a PR and a push, we can avoid insecure operations These operations may be triggered by malicious users sending 'bad' PRs	4 years ago