|  | 
|  | 1 | +name: 'Format' | 
|  | 2 | + | 
|  | 3 | +on: | 
|  | 4 | +  pull_request_target: | 
|  | 5 | +    paths: ['**/*.jl'] | 
|  | 6 | +    types: [opened, synchronize, reopened, ready_for_review] | 
|  | 7 | + | 
|  | 8 | +permissions: | 
|  | 9 | +  contents: read | 
|  | 10 | +  actions: write | 
|  | 11 | +  pull-requests: write | 
|  | 12 | + | 
|  | 13 | +jobs: | 
|  | 14 | +  runic: | 
|  | 15 | +    runs-on: ubuntu-latest | 
|  | 16 | +    if: github.event.pull_request.draft == false | 
|  | 17 | +    steps: | 
|  | 18 | +      - name: Check out repository | 
|  | 19 | +        uses: actions/checkout@v4 | 
|  | 20 | +        with: | 
|  | 21 | +          ref: ${{github.event.pull_request.head.ref}} | 
|  | 22 | +          repository: ${{github.event.pull_request.head.repo.full_name}} | 
|  | 23 | +          fetch-depth: 0 | 
|  | 24 | + | 
|  | 25 | +      - name: Add upstream remote | 
|  | 26 | +        run: | | 
|  | 27 | +          git remote add upstream https://github.com/${{ github.repository }} | 
|  | 28 | +          git fetch upstream | 
|  | 29 | +
 | 
|  | 30 | +      - name: Setup Julia | 
|  | 31 | +        uses: julia-actions/setup-julia@v2 | 
|  | 32 | +        with: | 
|  | 33 | +          version: '1' | 
|  | 34 | +          arch: 'x64' | 
|  | 35 | +      - uses: julia-actions/cache@v2 | 
|  | 36 | + | 
|  | 37 | +      - name: Install Runic | 
|  | 38 | +        run: | | 
|  | 39 | +          julia --project=@runic -e 'using Pkg; Pkg.add("Runic")' | 
|  | 40 | +          curl -o git-runic https://raw.githubusercontent.com/fredrikekre/Runic.jl/master/bin/git-runic | 
|  | 41 | +          chmod +x git-runic | 
|  | 42 | +          sudo mv git-runic /usr/local/bin | 
|  | 43 | +
 | 
|  | 44 | +      - name: Run Runic | 
|  | 45 | +        id: runic | 
|  | 46 | +        run: | | 
|  | 47 | +          set +e | 
|  | 48 | +          MERGE_BASE=$(git merge-base upstream/${{ github.base_ref }} HEAD) || exit 1 | 
|  | 49 | +          DIFF=$(git runic --diff $MERGE_BASE) | 
|  | 50 | +          EXIT_CODE=$? | 
|  | 51 | +
 | 
|  | 52 | +          echo "exit_code=$EXIT_CODE" >> $GITHUB_OUTPUT | 
|  | 53 | +          echo "diff<<EOF" >> $GITHUB_OUTPUT | 
|  | 54 | +          echo "$DIFF" >> $GITHUB_OUTPUT | 
|  | 55 | +          echo "EOF" >> $GITHUB_OUTPUT | 
|  | 56 | +
 | 
|  | 57 | +          # if Runic failed, bail out | 
|  | 58 | +          [ $EXIT_CODE -eq 2 ] && exit 1 || exit 0 | 
|  | 59 | +
 | 
|  | 60 | +      - name: Find comment | 
|  | 61 | +        uses: peter-evans/find-comment@v3 | 
|  | 62 | +        id: find-comment | 
|  | 63 | +        with: | 
|  | 64 | +          issue-number: ${{ github.event.pull_request.number }} | 
|  | 65 | +          comment-author: 'github-actions[bot]' | 
|  | 66 | +          body-includes: '<!-- runic-format-summary -->' | 
|  | 67 | + | 
|  | 68 | +      - name: Comment formatting suggestions | 
|  | 69 | +        if: steps.runic.outputs.exit_code == 1 | 
|  | 70 | +        uses: peter-evans/create-or-update-comment@v4 | 
|  | 71 | +        with: | 
|  | 72 | +          comment-id: ${{ steps.find-comment.outputs.comment-id }} | 
|  | 73 | +          issue-number: ${{ github.event.pull_request.number }} | 
|  | 74 | +          body: | | 
|  | 75 | +            <!-- runic-format-summary --> | 
|  | 76 | +
 | 
|  | 77 | +            Your PR requires formatting changes to meet the project's style guidelines. | 
|  | 78 | +            Please consider running [Runic](https://github.com/fredrikekre/Runic.jl) (`git runic ${{ github.base_ref }}`) to apply these changes. | 
|  | 79 | +
 | 
|  | 80 | +            <details> | 
|  | 81 | +            <summary>Click here to view the suggested changes.</summary> | 
|  | 82 | +
 | 
|  | 83 | +            ```diff | 
|  | 84 | +            ${{ steps.runic.outputs.diff }} | 
|  | 85 | +            ``` | 
|  | 86 | +
 | 
|  | 87 | +            </details> | 
|  | 88 | +          edit-mode: replace | 
|  | 89 | + | 
|  | 90 | +      - name: Update stale comment | 
|  | 91 | +        if: steps.runic.outputs.exit_code == 0 && steps.find-comment.outputs.comment-id | 
|  | 92 | +        uses: peter-evans/create-or-update-comment@v4 | 
|  | 93 | +        with: | 
|  | 94 | +          comment-id: ${{ steps.find-comment.outputs.comment-id }} | 
|  | 95 | +          issue-number: ${{ github.event.pull_request.number }} | 
|  | 96 | +          body: | | 
|  | 97 | +            <!-- runic-format-summary --> | 
|  | 98 | +
 | 
|  | 99 | +            Your PR no longer requires formatting changes. Thank you for your contribution! | 
|  | 100 | +          edit-mode: replace | 
|  | 101 | + | 
|  | 102 | +      # XXX: if Github ever supports allow-failure (actions/runner#2347) | 
|  | 103 | +      #- name: Propagate exit code | 
|  | 104 | +      #  run: | | 
|  | 105 | +      #    exit ${{ steps.runic.outputs.exit_code }} | 
0 commit comments