Publish built PDF to GitHub Pages #190
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| build: | |
| runs-on: [ubuntu-20.04] | |
| steps: | |
| - name: Install dependencies | |
| run: | | |
| sudo apt update | |
| sudo apt install -y --no-install-recommends opam zlib1g-dev pkg-config libgmp-dev z3 cvc4 texlive-plain-generic texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-science texlive-fonts-recommended texlive-fonts-extra texlive-bibtex-extra texlive-extra-utils latexmk | |
| - name: Init opam | |
| run: opam init -y | |
| - name: Install sail | |
| run: git clone -n https://github.com/rems-project/sail.git && cd sail && git checkout bb50f71dced35cd199554f0360a93b934e6443a1 && opam install -y . | |
| - name: Check out repository code | |
| uses: actions/checkout@HEAD | |
| with: | |
| submodules: true | |
| - name: Build simulators | |
| run: | | |
| eval $(opam env) && make csim | |
| mkdir install | |
| cp c_emulator/cheriot_sim install | |
| cp LICENSE install/LICENCE-cheriot-sail | |
| cp sail-riscv/LICENCE install/LICENCE-sail-riscv | |
| - name: Build arch doc | |
| run: | | |
| eval $(opam env) && make -C archdoc | |
| cp archdoc/cheriot-architecture.pdf install | |
| mkdir -p _site/ | |
| cp archdoc/cheriot-architecture.pdf _site/ | |
| - name: Upload simulator artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: cheriot_sim | |
| path: install/ | |
| deploy: | |
| # Run only when landing, not as part of a PR | |
| if: ${{ github.event_name == 'push' }} | |
| # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| runs-on: [ubuntu-20.04] | |
| needs: build | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v2 |