Skip to content

Removed unused comments #118

Removed unused comments

Removed unused comments #118

Workflow file for this run

name: Build
on: push
jobs:
build:
name: Build
runs-on: ubuntu-latest
timeout-minutes: 600
steps:
- name: Checkout repo
uses: actions/checkout@v3
- name: Install Elan
run: |
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y -v --default-toolchain leanprover/lean4:nightly
echo "LAKE_VERSION=$(~/.elan/bin/lake --version)" >> $GITHUB_ENV
- name: Cache dependencies
uses: actions/cache@v3
with:
path: lake-packages
key: "${{ env.LAKE_VERSION }}"
- name: Build project
run: |
~/.elan/bin/lake exe cache get
~/.elan/bin/lake build