Update blueprint

pitmonticone · Apr 2, 2024 · 4d32efa · 4d32efa
1 parent c39eb4f
commit 4d32efa
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/.github/workflows/blueprint.yml → .github/workflows/push.yml b/.github/workflows/blueprint.yml → .github/workflows/push.yml
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -0,0 +1,21 @@
+on:
+  pull_request:
+
+jobs:
+  build_project:
+    runs-on: ubuntu-latest
+    name: Build project
+    steps:
+      - name: Checkout project
+        uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+
+      - name: Install elan
+        run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0
+
+      - name: Get cache
+        run: ~/.elan/bin/lake exe cache get
+
+      - name: Build project
+        run: ~/.elan/bin/lake build FLT3