1name: Lean Action CI23on:4 push:5 pull_request:6 workflow_dispatch:78# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages9permissions:10 contents: read # Read access to repository contents11 pages: write # Write access to GitHub Pages12 id-token: write # Write access to ID tokens1314jobs:15 build:16 runs-on: ubuntu-latest1718 steps:19 - uses: actions/checkout@v720 - uses: leanprover/lean-action@v121 - uses: leanprover-community/docgen-action@v122