2 Commits (3c24c1c74b287356b98b402aa3b2eb492364c4b1)

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