Build and archive archdoc in github action.

CHERIoT-Platform · Jan 23, 2024 · 02c1b19 · 02c1b19
1 parent e5038a0
commit 02c1b19
Showing 1 changed file with 5 additions and 1 deletion.
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: |
+        eval $(opam env) && make -C archdoc
+        cp archdoc/cheriot-architecture.pdf install
+    - name: Upload simulator artifact
       uses: actions/upload-artifact@v3
       with:
         name: cheriot_sim