fix variable name

This commit is contained in:
Baptiste Augrain 2021-03-12 10:51:07 +01:00
parent 51824a83d1
commit 479d4c3dbc

View file

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