diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index bd4358fda..c6dbdf070 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -29,8 +29,21 @@ jobs:
           ~/.cargo/git
           target
         key: ${{ runner.os }}-contracts-${{ hashFiles('creusot-contracts/Cargo.lock') }}
-    - name: Build creusot-contracts with rustc
+    - name: Build creusot-contracts with nightly rustc
       run: cargo build -p creusot-contracts
+  contracts-build-stable:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - uses: actions/cache@v4
+      with:
+        path: |
+          ~/.cargo/registry
+          ~/.cargo/git
+          target
+        key: ${{ runner.os }}-contracts-stable-${{ hashFiles('creusot-contracts/Cargo.lock') }}
+    - name: Build creusot-contracts with stable rustc
+      run: cargo +stable build -p creusot-contracts
   build:
     runs-on: ubuntu-latest
     steps: