From 4d32efafeb3d5e98f8b5966db9ffeef89aabb008 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Tue, 2 Apr 2024 20:10:01 +0200
Subject: [PATCH] Update blueprint

---
 .github/workflows/{blueprint.yml => push.yml} |  0
 .github/workflows/push_pr.yml                 | 21 +++++++++++++++++++
 2 files changed, 21 insertions(+)
 rename .github/workflows/{blueprint.yml => push.yml} (100%)
 create mode 100644 .github/workflows/push_pr.yml

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/push.yml
similarity index 100%
rename from .github/workflows/blueprint.yml
rename to .github/workflows/push.yml
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
new file mode 100644
index 0000000..49bd5f1
--- /dev/null
+++ 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