format.yml

name: Format
on:
  repository_dispatch:
    types: [format-command]
  workflow_dispatch:
jobs:
  format:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          token: ${{ secrets.SLANGBOT_PAT }}
          repository: ${{ github.event.client_payload.pull_request.head.repo.full_name }}
          ref: ${{ github.event.client_payload.pull_request.head.ref }}

      - run: pip3 install gersemi

      - name: install clang-format
        run: |
          tmpdir=$(mktemp -d)
          curl -L -H "Authorization: token ${{ secrets.SLANGBOT_PAT }}" \
            -o "$tmpdir/clang-format" \
            https://github.com/shader-slang/slang-binaries/raw/4e88845ec51641b4c92e68027e359090bdb219e0/clang-format/x86_64-linux/bin/clang-format
          chmod +x "$tmpdir/clang-format"
          echo "$tmpdir" >> $GITHUB_PATH

      - run: ./extras/formatting.sh

      - run: |
          git config gpg.format ssh
          git config user.signingkey ~/.ssh/examplekey.pub

      - name: Configure Git commit signing
      - run: |
          echo "${{ secrets.SLANGBOT_SIGNING_KEY }}" > "${{runner.temp}}"/signing_key
          chmod 600 "${{runner.temp}}"/signing_key
          git config commit.gpgsign true
          git config gpg.format ssh
          git config user.signingkey "${{runner.temp}}"/signing_key

      - uses: EndBug/add-and-commit@v9
        with:
          fetch: false
          message: "format code"
          push: true

      - name: Add reaction
        uses: peter-evans/create-or-update-comment@v4
        with:
          token: ${{ secrets.SLANGBOT_PAT }}
          repository: ${{ github.event.client_payload.github.payload.repository.full_name }}
          comment-id: ${{ github.event.client_payload.github.payload.comment.id }}
          reactions: hooray