diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 547c317..19c7f0e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ on:
   workflow_dispatch:
 
 jobs:
-  build:
+  build-proof:
     runs-on: ubuntu-latest
 
     steps:
@@ -45,6 +45,31 @@ jobs:
         run: |
           lake test
 
+  build-exe:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install elan
+        run: |
+          set -o pipefail
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain none -y
+          ~/.elan/bin/lean --version
+          echo "$HOME/.elan/bin" >> $GITHUB_PATH
+
+      - name: Cache `.lake` folder
+        id: cache-lake
+        uses: actions/cache@v4
+        with:
+          path: .lake
+          key: ${{ runner.os }}-lake-${{ hashFiles('lake-manifest.json') }}-4
+
+      - name: Get mathlib cache
+        continue-on-error: true
+        run: |
+          (make setup; true)
+
       - name: install `rust` for the oracle
         uses: actions-rs/toolchain@v1
         with: