1name: Update Dependencies23on:4 # schedule: # Sets a schedule to trigger the workflow5 # - 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)6 workflow_dispatch: # Allows the workflow to be triggered manually via the GitHub interface78jobs:9 check-for-updates: # Determines which updates to apply.10 runs-on: ubuntu-latest11 outputs:12 is-update-available: ${{ steps.check-for-updates.outputs.is-update-available }}13 new-tags: ${{ steps.check-for-updates.outputs.new-tags }}14 steps:15 - name: Run the action16 id: check-for-updates17 uses: leanprover-community/mathlib-update-action@v118 # START CONFIGURATION BLOCK 119 # END CONFIGURATION BLOCK 120 do-update: # Runs the upgrade, tests it, and makes a PR/issue/commit.21 runs-on: ubuntu-latest22 permissions:23 contents: write # Grants permission to push changes to the repository24 issues: write # Grants permission to create or update issues25 pull-requests: write # Grants permission to create or update pull requests26 needs: check-for-updates27 if: ${{ needs.check-for-updates.outputs.is-update-available == 'true' }}28 strategy: # Runs for each update discovered by the `check-for-updates` job.29 max-parallel: 1 # Ensures that the PRs/issues are created in order.30 matrix:31 tag: ${{ fromJSON(needs.check-for-updates.outputs.new-tags) }}32 steps:33 - name: Run the action34 id: update-the-repo35 uses: leanprover-community/mathlib-update-action/do-update@v136 with:37 tag: ${{ matrix.tag }}38 # START CONFIGURATION BLOCK 239 on_update_succeeds: pr # Create a pull request if the update succeeds40 on_update_fails: issue # Create an issue if the update fails41 # END CONFIGURATION BLOCK 242