ci.yml

name: CI

on:
  push:
    branches:
      - master
  pull_request:

# concurrency:
#   group: ${{ github.workflow }}-${{ github.ref }}
#   cancel-in-progress: true

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v3
      - name: Install elan
        run: |
          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
          echo "$HOME/.elan/bin" >> $GITHUB_PATH
      - name: Cache outputs
        uses: actions/cache@v3
        with:
          path: ./.lake
          key: deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}-${{ github.sha }}
          restore-keys: |
            deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}
            deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}
      - name: Build
        run: |
          lake exe cache get
          lake build

# reference: https://github.com/iehality/lean4-logic/blob/master/.github/workflows/ci.yml