lean_build.yml

on:
  push:
  pull_request:

permissions:
  contents: write
  pages: write
  id-token: write


name: ci

jobs:
  build:
    name: Build
    runs-on: ubuntu-latest
    steps:
    - name: install elan
      run: |
        set -o pipefail
        curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
        ./elan-init -y --default-toolchain none
        echo "$HOME/.elan/bin" >> $GITHUB_PATH

    - uses: actions/checkout@v3
    - name: Set up olean cache
      uses: actions/cache@v3
      with:
        path: ~/.cache
        key: oleans

    - name: Configure
      run: |
        lake exe cache get

    - name: Build
      run: |
        lake build

    - name: Save olean cache
      run: |
        lake exe cache pack

    - name: Make progress bar
      run: |
        mkdir gh-pages
        lake env lean analyze.lean > gh-pages/progress_bar.svg

    - name: Upload artifact
      uses: actions/upload-pages-artifact@v1
      with:
        path: 'gh-pages'

    - name: Deploy to GitHub Pages
      if: github.ref == 'refs/heads/lean4'
      id: deployment
      uses: actions/deploy-pages@v1