rustc-pull #3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: rustc-pull | |
| on: | |
| workflow_dispatch: | |
| 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 | |
| outputs: | |
| pr_url: ${{ steps.update-pr.outputs.pr_url }} | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| # We need the full history for josh to work | |
| fetch-depth: '0' | |
| - name: Install stable Rust toolchain | |
| run: rustup update stable | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| workspaces: "josh-sync" | |
| # Cache the josh directory with checked out rustc | |
| 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 '[email protected]' | |
| - 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 only for rustc pulls | |
| BRANCH="rustc-pull" | |
| git switch -c $BRANCH | |
| git push -u origin $BRANCH --force | |
| - name: Create pull request | |
| id: update-pr | |
| 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" | |
| PR_URL=gh pr create -B master --title 'Rustc pull update' --body 'Latest update from rustc.' | |
| echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT | |
| else | |
| PR_URL=gh pr list --author github-actions[bot] --state open -q 'map(select(.title=="Rustc pull update")) | .[0].url' --json url,title | |
| echo "pr_url=$PR_URL" >> $GITHUB_OUTPUT | |
| fi | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| send-zulip-message: | |
| needs: [pull] | |
| if: ${{ !cancelled() }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Compute message | |
| id: message | |
| run: | | |
| if [ "${{ needs.pull.result }}" == "failure" ]; | |
| then | |
| WORKFLOW_URL="${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" | |
| echo "message=Rustc pull sync failed. Check out the [workflow URL]($WORKFLOW_URL)." >> $GITHUB_OUTPUT | |
| else | |
| echo "message=Rustc pull sync succeeded. Check out the [PR](${{ needs.pull.outputs.pr_url }})." >> $GITHUB_OUTPUT | |
| fi | |
| - name: Send a Zulip message about updated PR | |
| uses: zulip/github-actions-zulip/send-message@e4c8f27c732ba9bd98ac6be0583096dea82feea5 | |
| with: | |
| api-key: ${{ secrets.ZULIP_API_TOKEN }} | |
| email: "[email protected]" | |
| organization-url: "https://rust-lang.zulipchat.com" | |
| to: 196385 | |
| type: "stream" | |
| topic: "Subtree sync automation" | |
| content: ${{ steps.message.outputs.message }} |