rustc-pull.yml

name: rustc-pull

on:
  workflow_dispatch:
  pull_request:
  schedule:
    # Run at 04:00 UTC every Monday
    - cron: '0 4 * * 1'

jobs:
  pull:
    #if: github.repository == 'rust-lang/rustc-dev-guide'
    runs-on: ubuntu-latest
    permissions:
      contents: write
      pull-requests: write
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: '0'
      - name: Install stable Rust toolchain
        run: rustup update stable
      - uses: Swatinem/rust-cache@v2
        with:
          workspaces: "josh-sync"
          cache-directories: "/home/runner/.cache/rustc-dev-guide-josh"
      - name: Install Josh
        run: RUSTFLAGS="--cap-lints warn" cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r24.10.04
      - name: Setup bot git name and email
        run: |
          git config --global user.name 'The rustc-dev-guide Cronjob Bot'
          git config --global user.email 'rustc-dev-guide@cron.bot'
      - name: Perform rustc-pull
        run: cargo run --manifest-path josh-sync/Cargo.toml -- rustc-pull
      - name: Push changes to a branch
        run: |
          # Update a sticky branch that is used for rustc pulls
          BRANCH="rustc-pull"
          git switch -c $BRANCH
          git push -u origin $BRANCH --force
      - name: Create pull request
        run: |
          # Check if an open pull request for an rustc pull update already exists
          # If it does, the previous push has just updated it
          # If not, we create it now
          RESULT=`gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | length' --json title`
          if [[ "$RESULT" -eq 0 ]]; then
            echo "Creating new pull request"
            gh pr create -B master --title 'Rustc pull update' --body 'Latest update from rustc.'
          else
            echo "Updated existing pull request"
          fi
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}