Use Latex in the CI

schoeberl · Nov 7, 2024 · 668889d · 668889d
1 parent 37c9468
commit 668889d
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -19,17 +19,10 @@ jobs:
         java-version: '11'
         distribution: 'temurin'
     - name: Setup Verilator
-      # should include texlive-full for Latex test
       run: sudo apt-get install verilator
     - name: Setup z3
       run: sudo apt-get install z3
     - name: Setup Latex
       run: sudo apt-get install texlive-full
-    - name: Run tests
-      run: make test
-    # should run make for the test including Latex
-    # - name: Build book
-    #   run: |
-    #     make gencode
-    #     make fig
-    #     make book
+    - name: Run tests and build the book
+      run: make