From ff12fc04865702bf7127bfab832980abcd33babb Mon Sep 17 00:00:00 2001 From: Siddharth Bhat <siddu.druid@gmail.com> Date: Mon, 7 Oct 2024 15:46:07 -0500 Subject: [PATCH] chore: setup CI --- .github/workflows/ci.yml | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 .github/workflows/ci.yml diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml new file mode 100644 index 0000000..f3591a3 --- /dev/null +++ b/.github/workflows/ci.yml @@ -0,0 +1,33 @@ +name: CI + +on: + # Run using manual triggers from GitHub UI: + # https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow + workflow_dispatch: {} + # Run on every push: + push: {} + # Run on pull request activity: + pull_request: {} + + +jobs: + build: + strategy: + matrix: + os: [ubuntu-latest] + + runs-on: ${{ matrix.os }} + + steps: + + - uses: actions/checkout@v4 + + - uses: leanprover/lean-action@v1 + with: + auto-config: false + use-mathlib-cache: false + use-github-cache: true + + - name: Run test suite + run: | + lake exe test | grep "PASS"