Skip to content

[patch-axel-52]

[patch-axel-52] #809

Workflow file for this run

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Build a PDF of the seL4 reference manual
name: RefMan
on:
push:
branches:
- master
pull_request:
jobs:
manual:
name: Build PDF
runs-on: ubuntu-latest
steps:
- uses: seL4/ci-actions/seL4-manual@master
- uses: actions/upload-artifact@v4
with:
name: PDF
path: manual/manual.pdf