8 Commits (b55894bf7f50edc1d570704b242f3ca7516afae8)

Author	SHA1	Message	Date
Sayan Nandan	2a9fa9ffcf	Fix script to skip builds iff md files are changed ... In previous commits, we ignored the fact that bools are strings in bash This caused the workflow to proceed wrongly and this commit fixes that Also, auto builds for actions docs were added	4 years ago
Sayan Nandan	336115e493	Fix builds on macOS	4 years ago
Sayan Nandan	0468d0d921	Fix environment variables	4 years ago
Sayan	d3e37cfa55	Fix CI script	4 years ago
Sayan Nandan	207b5e58d1	Fix push script	4 years ago
Sayan Nandan	f5b91fdc18	Fix `test-push` script	4 years ago
Sayan Nandan	8c678a58e3	Skip builds iff markdown files are modified	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