diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index ea4e207..55d92fa 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Check formatting
         run: ./scripts/checkfmt.sh
       - name: Build
-        run: cargo build --verbose
+        run: ./scripts/buildall.sh
       - name: Run tests
         run: cargo test --verbose
 
@@ -30,6 +30,6 @@ jobs:
       - name: Check formatting
         run: ./scripts/checkfmt.sh
       - name: Build
-        run: cargo build --verbose
+        run: ./scripts/buildall.sh
       - name: Run tests
         run: cargo test --verbose
diff --git a/scripts/buildall.sh b/scripts/buildall.sh
new file mode 100755
index 0000000..6eb9d57
--- /dev/null
+++ b/scripts/buildall.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+cargo build --workspace --verbose
+(
+    cd examples
+    cargo build --workspace --verbose
+)