diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index dee846b..b35a34c 100644 --- 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