1# Copyright 2021, Proofcraft Pty Ltd
2#
3# SPDX-License-Identifier: BSD-2-Clause
4
5# Build a PDF of the seL4 reference manual
6name: RefMan
7
8on:
9  push:
10    branches:
11      - master
12  pull_request:
13
14jobs:
15  manual:
16    name: Build PDF
17    runs-on: ubuntu-latest
18    steps:
19    - uses: seL4/ci-actions/seL4-manual@master
20    - uses: actions/upload-artifact@v2
21      with:
22        name: PDF
23        path: manual/manual.pdf
24