Attempt 55
This commit is contained in:
parent
0972b481fe
commit
2bbe4360bf
|
@ -114,9 +114,11 @@ jobs:
|
|||
run: |
|
||||
cd packages/pro
|
||||
git fetch
|
||||
if ! git branch --contains HEAD | grep -q "chore/pro_as_submodule"; then
|
||||
echo "Current commit is not part of main branch" >&2
|
||||
if ! git branch --contains $(git log -n 1 --pretty=format:%H) | grep -q "chore/pro_as_submodule"; then
|
||||
echo "Current commit is not part of main branch"
|
||||
exit 1
|
||||
else
|
||||
echo "All good, the submodule has been merged!"
|
||||
fi
|
||||
|
||||
check-pro-submodule-failing:
|
||||
|
|
Loading…
Reference in New Issue