correctly determine when the run if from an PR or not

This commit is contained in:
Baptiste Augrain 2021-03-12 10:36:07 +01:00
parent 88f37a102a
commit 51824a83d1

View file

@ -2,7 +2,7 @@
set -e set -e
if [[ $github.event.number ]]; then if [[ $github.event_name == "pull_request" ]]; then
echo "It's a PR" echo "It's a PR"
export SHOULD_BUILD="yes" export SHOULD_BUILD="yes"