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@v2.1.0

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

      - name: create pull request
        uses: peter-evans/create-pull-request@v7
        with:
          commit-message: "chore: update toolchain ${{ env.LEAN_TAG }}"
          committer: GitHub <noreply@github.com>
          author: ${{ github.actor }} <${{ github.actor }}@users.noreply.github.com>
          signoff: false
          branch: update-toolchain-${{ env.LEAN_TAG }}
          delete-branch: true
          title: 'chore: update toolchain ${{ env.LEAN_TAG }}'
          draft: false