Skip to content

ci: 更新 actions

ci: 更新 actions #2

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
pull_request:
workflow_dispatch:
concurrency:
# Skip intermediate builds: always.
# Cancel intermediate builds: only if it is a pull request build.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
PDF:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- 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