Quick fix.

This commit is contained in:
mike12345567 2023-10-10 11:35:07 +01:00
parent 4b73f636fc
commit cd5d438a96
1 changed files with 1 additions and 1 deletions

View File

@ -286,7 +286,7 @@ jobs:
fi
- name: Check submodule merged to base branch
if: ${{ base_commit != '' }}
if: ${{ steps.get_pro_commits.outputs.base_commit != '' }}
uses: actions/github-script@v4
with:
github-token: ${{ secrets.GITHUB_TOKEN }}