9d84967424
Node 20 is deprecated. Bump GitHub action dependencies to versions that run on more recent node. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
24 lines
447 B
YAML
24 lines
447 B
YAML
# 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:
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
manual:
|
|
name: Build PDF
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: seL4/ci-actions/seL4-manual@master
|
|
- uses: actions/upload-artifact@v7
|
|
with:
|
|
name: PDF
|
|
path: checkout/manual/manual.pdf
|