Skip to content

CI: 拆分 PDF 构建流程、更新 CI (#138) #1

CI: 拆分 PDF 构建流程、更新 CI (#138)

CI: 拆分 PDF 构建流程、更新 CI (#138) #1

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
workflow_dispatch:
jobs:
PDF:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build and deploy
timeout-minutes: 90
uses: JuliaCN/[email protected]
with:
project_dir: 'doc'
format: pdf # trigger the pdf compilation in our doc/make.jl
- name: upload complied PDF file
uses: actions/upload-artifact@v2
with:
name: compiled contents
path: doc/build/*.pdf