Skip to content

.github/workflows/upgrade_lean.yml #724

.github/workflows/upgrade_lean.yml

.github/workflows/upgrade_lean.yml #724

Workflow file for this run

on:
workflow_dispatch:
schedule:
- cron: '0 2 * * *' # once a day at 2am UTC
jobs:
upgrade_lean:
runs-on: ubuntu-latest
name: Bump Lean and dependency versions
steps:
- name: checkout project
uses: actions/checkout@v3
- name: upgrade Lean and dependencies
uses: leanprover-contrib/lean-upgrade-action@master
with:
repo: ${{ github.repository }}
access-token: ${{ secrets.GITHUB_TOKEN }}
- name: update version branches
uses: leanprover-contrib/update-versions-action@master