2 Commits (68b9c9b81f5a2d274c67d5b0455eac8b83ddde99)

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