diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b120a3f39a..c6032c63c2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -267,11 +267,16 @@ jobs:
 
       - run: opam install -y coq=8.13.2 coq-bits=1.1.0
 
-      # FIXME: the following generates Coq libraries for the SAW core to Coq
-      # translator and build them; if we do other Coq tests, this step should
-      # become its own build artifact, to avoid re-compiling the Coq libraries
+      # FIXME: the following steps generate Coq libraries for the SAW core to
+      # Coq translator and builds them; if we do other Coq tests, these steps
+      # should become their own build artifact, to avoid re-compiling the Coq
+      # libraries
+      - working-directory: saw-core-coq/saw
+        run: saw generate_scaffolding.saw
+
       - working-directory: saw-core-coq/coq
         shell: bash
+        path: dist/bin
         run: opam exec -- make -j
 
       - working-directory: heapster-saw/examples