name: Update Sorbet files on: pull_request: paths: - Library/Homebrew/dev-cmd/typecheck.rb - Library/Homebrew/sorbet/** - "!Library/Homebrew/sorbet/rbi/**" push: paths: - .github/workflows/sorbet.yml branches-ignore: - master schedule: - cron: "0 0 * * *" workflow_dispatch: permissions: contents: read jobs: tapioca: if: github.repository == 'Homebrew/brew' runs-on: macos-12 steps: - name: Set up Homebrew id: set-up-homebrew uses: Homebrew/actions/setup-homebrew@master - name: Configure Git user if: github.event_name != 'pull_request' uses: Homebrew/actions/git-user-config@master with: username: BrewTestBot - name: Set up commit signing if: github.event_name != 'pull_request' uses: Homebrew/actions/setup-commit-signing@master with: signing_key: ${{ secrets.BREWTESTBOT_GPG_SIGNING_SUBKEY }} - name: Update RBI files id: update working-directory: ${{ steps.set-up-homebrew.outputs.repository-path }} run: | git fetch origin BRANCH="sorbet-files-update" echo "branch=${BRANCH}" >> "$GITHUB_OUTPUT" if git ls-remote --exit-code --heads origin "${BRANCH}" then git checkout "${BRANCH}" git checkout "Library/Homebrew/sorbet" else git checkout --no-track -B "${BRANCH}" origin/master fi brew typecheck --update --suggest-typed - name: Commit changes id: commit if: github.event_name != 'pull_request' env: GITHUB_TOKEN: ${{ secrets.HOMEBREW_GITHUB_PUBLIC_REPO_TOKEN }} HOMEBREW_GPG_PASSPHRASE: ${{ secrets.BREWTESTBOT_GPG_SIGNING_SUBKEY_PASSPHRASE }} working-directory: ${{ steps.set-up-homebrew.outputs.repository-path }} run: | if ! git diff --stat --exit-code "Library/Homebrew/sorbet" then git add "Library/Homebrew/sorbet" git commit -m "sorbet: Update RBI files." \ -m "Autogenerated by the [sorbet](https://github.com/Homebrew/brew/blob/master/.github/workflows/sorbet.yml) workflow." if ! git diff --stat --exit-code "Library/Homebrew" then git add "Library/Homebrew/" git commit -m "sorbet: Autobump sigils via Spoom" \ -m "Autogenerated by the [sorbet](https://github.com/Homebrew/brew/blob/master/.github/workflows/sorbet.yml) workflow." fi echo "committed=true" >> "$GITHUB_OUTPUT" PULL_REQUEST_STATE="$(gh pr view --json=state | jq -r ".state")" if [[ "${PULL_REQUEST_STATE}" != "OPEN" ]] then echo "pull_request=true" >> "$GITHUB_OUTPUT" fi fi - name: Push commits if: steps.commit.outputs.committed == 'true' uses: Homebrew/actions/git-try-push@master with: token: ${{ secrets.HOMEBREW_GITHUB_PUBLIC_REPO_TOKEN }} directory: ${{ steps.set-up-homebrew.outputs.repository-path }} branch: ${{ steps.update.outputs.branch }} force: true origin_branch: "master" - name: Open a pull request if: steps.commit.outputs.pull_request == 'true' run: hub pull-request --no-edit env: GITHUB_TOKEN: ${{ secrets.HOMEBREW_GITHUB_PUBLIC_REPO_TOKEN }} working-directory: ${{ steps.set-up-homebrew.outputs.repository-path }}