Update pull request workflow

This commit is contained in:
JonnyWong16 2021-01-18 08:50:03 -08:00
parent 22dadfd845
commit ce7d7169f9
No known key found for this signature in database
GPG key ID: B1F1F9807184697A

View file

@ -23,6 +23,6 @@ jobs:
- name: Fail Workflow - name: Fail Workflow
if: github.base_ref != 'nightly' if: github.base_ref != 'nightly'
run: | run: |
echo Base: ${{ github.base_ref }} echo Base: "$GITHUB_BASE_REF"
echo Head: ${{ github.head_ref }} echo Head: "$GITHUB_HEAD_REF"
exit 1 exit 1