update-toolchain.yml

name: Update Toolchain

on:
  workflow_dispatch:
  schedule:
    - cron: '0 3 * * *'

jobs:
  update-toolchain:
    name: update toolchain
    runs-on: ubuntu-latest
    steps:

      - name: checkout
        uses: actions/checkout@v4

      - name: install jq
        uses: dcarbone/install-jq-action@v3

      - name: update lean-toolchain
        id: toolchain-tag
        run: |
          LEAN_TAG=$(curl -s "https://api.github.com/repos/leanprover/lean4/releases" | jq -r '.[0].tag_name')
          echo "lean_tag=$LEAN_TAG" >> $GITHUB_OUTPUT
          echo "leanprover/lean4:$LEAN_TAG" > lean-toolchain

      - name: create pull request
        uses: peter-evans/create-pull-request@v7
        with:
          commit-message: "chore: update toolchain ${{ steps.toolchain-tag.outputs.lean_tag }}"
          branch: update-toolchain-${{ steps.toolchain-tag.outputs.lean_tag }}
          delete-branch: true
          title: "chore: update toolchain ${{ steps.toolchain-tag.outputs.lean_tag }}"