update.yml

name: Update Dependencies

on:
  # schedule:             # Sets a schedule to trigger the workflow
  #   - cron: "0 8 * * *" # Every day at 08:00 AM UTC (see https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#schedule)
  workflow_dispatch:    # Allows the workflow to be triggered manually via the GitHub interface

jobs:
  update_lean:
    runs-on: ubuntu-latest
    permissions:
      contents: write      # Grants permission to push changes to the repository
      issues: write        # Grants permission to create or update issues
      pull-requests: write # Grants permission to create or update pull requests
    steps:
      - name: Checkout code
        uses: actions/checkout@v4
      - name: Update project
        uses: leanprover-community/lean-update@main
        with:
          on_update_succeeds: pr # Create a pull request if the update succeeds
          on_update_fails: issue # Create an issue if the update fails
          legacy_update: true    # Executes lake -R -Kenv=dev update instead of lake update.