Attempt 1000

This commit is contained in:
adrinr 2023-04-17 20:44:29 +01:00
parent 81929802e1
commit 3905c3af47
1 changed files with 2 additions and 1 deletions

View File

@ -96,9 +96,10 @@ jobs:
- name: Check submodule - name: Check submodule
run: | run: |
cd packages/pro cd packages/pro
if ! git branch --contains $GITHUB_BASE_REF | grep -q chore/pro_as_submodule; then if ! git branch --contains $github.head_ref | grep -q chore/pro_as_submodule; then
echo "Current commit is not part of main branch" echo "Current commit is not part of main branch"
exit 1 exit 1
else else
echo "All good, the submodule has been merged!" echo "All good, the submodule has been merged!"
fi fi
-