CI for checking if PR changes submodule #13
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI for libsc check | |
| on: | |
| pull_request: | |
| jobs: | |
| linux-sub: | |
| if: github.event.pull_request.draft == false | |
| runs-on: ubuntu-latest | |
| env: | |
| TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| PR_NODE_ID: ${{ github.event.pull_request.node_id }} | |
| INPUT_PATH: sc | |
| steps: | |
| - name: Checkout source code for base | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| path: base | |
| - name: Checkout source code for head | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: ${{ github.event.pull_request.head.repo.full_name }} | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| submodules: true | |
| path: head | |
| - name: Determine hashes to compare | |
| shell: bash | |
| run: | | |
| EVENT_PATH="${GITHUB_EVENT_PATH}" | |
| cd "${GITHUB_WORKSPACE}" \ | |
| || error "__Line:${LINENO}__Error: Cannot change directory to Github Workspace" | |
| echo "PR=`jq -r ".number" "${EVENT_PATH}"`" >> $GITHUB_ENV | |
| PR_BRANCH=`jq -r ".pull_request.head.ref" "${EVENT_PATH}"` | |
| BASE_BRANCH=`jq -r ".pull_request.base.ref" "${EVENT_PATH}"` | |
| echo "Run for PR of ${PR_BRANCH} into ${BASE_BRANCH}" | |
| cd head | |
| git fetch origin "${PR_BRANCH}" --recurse-submodules=no \ | |
| || error "__Line:${LINENO}__Error: Could not fetch history of ${PR_BRANCH}" | |
| cd ../base | |
| git fetch origin "${BASE_BRANCH}" --recurse-submodules=no \ | |
| || error "__Line:${LINENO}__Error: Could not fetch history of ${BASE_BRANCH}" | |
| cd .. | |
| - name: Convert PR to draft if necessary | |
| shell: bash | |
| run: | | |
| CHANGED=`git diff --name-only --no-index -- "${GITHUB_WORKSPACE}"/base/ "${GITHUB_WORKSPACE}"/head/` || true | |
| if grep "^${INPUT_PATH}$" <<< "${CHANGED}"; then | |
| echo "${TOKEN}" | gh auth login --with-token | |
| gh pr comment ${PR} --body \ | |
| "Submodule has been changed by this PR. \ | |
| This is forbidden by the repository policy. \ | |
| Your PR is turned into a draft PR." | |
| gh api graphql -F id="${PR_NODE_ID}" -f query=' | |
| mutation($id: ID!) { | |
| convertPullRequestToDraft(input: { pullRequestId: $id }) { | |
| pullRequest { | |
| id | |
| number | |
| isDraft | |
| } | |
| } | |
| } | |
| ' | |
| echo "PR was converted to draft successfully." | |
| exit 1 | |
| fi | |
| echo "Success: submodule has not been changed." | |
| exit 0 |