postci.yml

name: PostMain
on:
  workflow_run:
    workflows: [Main]
    types: [completed]

jobs:
  knowall:
    runs-on: ubuntu-latest
    if: ${{ false }} # Disable temporary the workflow.
    if: >
      ${{ github.event.workflow_run.event == 'pull_request'}}
    steps:
    - name: 'Download artifact'
      uses: actions/github-script@v7.0.1
      with:
        script: |
          var artifacts = await github.actions.listWorkflowRunArtifacts({
            owner: context.repo.owner,
            repo: context.repo.repo,
            run_id: ${{github.event.workflow_run.id }},
          });
          var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
            return artifact.name == "pr"
          })[0];
          var download = await github.actions.downloadArtifact({
            owner: context.repo.owner,
            repo: context.repo.repo,
            artifact_id: matchArtifact.id,
            archive_format: 'zip',
          });
          var fs = require('fs');
          fs.writeFileSync('${{github.workspace}}/pr.zip', Buffer.from(download.data));
    - run: |
        unzip pr.zip
        cat ./NR
        cat ./REPO
        echo "PR_NUMBER=`cat ./NR`" >> $GITHUB_ENV
        echo "PR_REPO=`cat ./REPO`" >> $GITHUB_ENV

    - uses: actions/checkout@v4
      with:
        fetch-depth: 0

    - name: Invoke workflow clang-format on compiler-research
      uses: benc-uk/workflow-dispatch@v1
      with:
        workflow: SuggestFormattingChanges
        repo: compiler-research/knowall
        token: ${{ secrets.PERSONAL_TOKEN }}
        ref: main # The SuggestFormattingChanges branch
        inputs: '{ "repo": "${{ env.PR_REPO }}", "pull_id": "${{ env.PR_NUMBER }}" }'

    - name: Failed job config
      if: ${{ failure() }}
      run: |
        export