Skip to content

Build the project

Build the project #39

Workflow file for this run

name: Build
run-name: Build the project
on: [push]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: install elan
run: |
set -o pipefail
curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
./elan-init -y
echo "$HOME/.elan/bin" >> $GITHUB_PATH
- uses: actions/checkout@v4
- name: print lean and lake versions
run: |
lean --version
lake --version
- run: lake build
- name: verify `lake exe graph` works
run: |
lake exe graph
rm import_graph.dot
- name: run tests
id: test
run: |
find test/*.lean -exec lake env lean {} \;