diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 08e80fc9a2..3ec9922dc1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -267,9 +267,12 @@ jobs:
 
       - run: opam install -y coq=8.13.2 coq-bits=1.1.0
 
-      # FIXME: the following builds the Coq libraries for the SAW core
-      # to Coq translator; if we do other Coq tests, this should become
-      # its own build artifact, to avoid downloading it twice
+      # FIXME: the following two steps generate Coq libraries for the SAW core
+      # to Coq translator and build them; if we do other Coq tests, these steps
+      # should become their own build artifact, to avoid downloading it twice
+      - working-directory: saw-core-coq/saw
+        run: saw generate_scaffolding.saw
+
       - working-directory: saw-core-coq/coq
         shell: bash
         run: opam exec -- make -j