Build and archive archdoc in github action.

CHERIoT-Platform · Jan 23, 2024 · dfa71f9 · dfa71f9
1 parent e5038a0
commit dfa71f9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -29,7 +29,11 @@ jobs:
         cp c_emulator/cheriot_sim install
         cp LICENSE install/LICENCE-cheriot-sail
         cp sail-riscv/LICENCE install/LICENCE-sail-riscv
-    - name: Upload artifact
+    - name: Build arch doc
+      run: |
+        make -C archdoc
+        cp archdoc/cheriot-architecture.pdf install
+    - name: Upload simulator artifact
       uses: actions/upload-artifact@v3
       with:
         name: cheriot_sim

diff --git a/sail-riscv b/sail-riscv