Skip to content

Update Thu Feb 15 23:12:03 UTC 2024 #23

Update Thu Feb 15 23:12:03 UTC 2024

Update Thu Feb 15 23:12:03 UTC 2024 #23

Workflow file for this run

on:
push:
jobs:
build:
runs-on: ubuntu-latest
name: Build
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
- name: checkout project
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: get Mathlib4 cache
run: lake exe cache get
- name: build library
run: lake build Library