added a step to the heapster-tests CI workflows to re-generate the Co…

…q support libraries
GaloisInc · Mar 16, 2022 · 9bc0057 · 9bc0057
1 parent 87ab2f3
commit 9bc0057
Showing 1 changed file with 6 additions and 3 deletions.
diff --git 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