add build workflow

mtoohey31 · Sep 19, 2024 · d80878c · d80878c
1 parent 960f4c3
commit d80878c
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -0,0 +1,12 @@
+name: Build
+on:
+ push:
+ branches: ["**"]
+jobs:
+ Build:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - uses: Julian/setup-lean@v1
+ default-toolchain-file: lean-toolchain
+ - run: lake build Lott LottExamples