Skip to content

Error messages for invalid NodeID #4484

Error messages for invalid NodeID

Error messages for invalid NodeID #4484

Workflow file for this run

name: Docs
on:
push:
branches: [main, update/pixi-lock, update/julia-manifest]
paths-ignore: [".teamcity/**"]
pull_request:
paths-ignore: [".teamcity/**"]
merge_group:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
# needed to allow julia-actions/cache to delete old caches that it has created
permissions:
actions: write
contents: read
jobs:
publish:
name: Docs Julia
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
- uses: julia-actions/cache@v2
with:
cache-compiled: "true"
cache-registries: "true"
- uses: prefix-dev/[email protected]
with:
pixi-version: "latest"
- name: Prepare pixi
run: pixi run install-ci
- name: Check Quarto installation and all engines
run: pixi run quarto-check
- name: Render Quarto Project
run: pixi run quarto-render
- name: Publish Quarto Project
if: github.ref == 'refs/heads/main'
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/_site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}