1 Commits (47831252b338081075aacfb79d1a2072c22a3ce3)

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