scientific-memory/.github/workflows/lean-ci.yml at c13766432879044e9b7d5a6622c3f274b4477ace · fraware/scientific-memory · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
name: lean-ci

on:
  pull_request:
  push:
    branches: [main]

jobs:
  build-lean:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6

      - name: Install elan
        run: |
          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
          echo "$HOME/.elan/bin" >> $GITHUB_PATH

      - name: Show Lean toolchain
        run: |
          lean --version
          lake --version

      - name: Cache Lake packages
        uses: actions/cache@v4
        with:
          path: |
            .lake
            build
            ~/.cache/mathlib
          key: ${{ runner.os }}-lake-${{ hashFiles('lakefile.toml', 'lean-toolchain', 'lake-manifest.json') }}

      - name: Update dependencies
        run: lake update

      - name: Build Lean
        run: lake build