2 Commits (ce46e318f19d4f872388679f7b40a8dcfad1ceeb)

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