Skip to content

Build

Build #605

Workflow file for this run

name: Build
on:
push:
merge_group:
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ubuntu-latest]
steps:
- uses: actions/checkout@v4
- uses: leanprover/lean-action@v1
with:
check-reservoir-eligibility: true
build-args: "--wfail"