[CI] Debug docs build
Some checks failed
Build Docs / build_docs (push) Failing after 6s
Build helpers / build_docs (push) Successful in 5s

This commit is contained in:
2025-12-22 15:10:18 +01:00
parent bb42a2e803
commit dca911c00b

View File

@@ -1,14 +1,17 @@
name: Build Docs name: Build Docs
on: on:
push: push
paths: # push:
- 'docs/**' # paths:
# - 'docs/**'
jobs: jobs:
build_docs: build_docs:
runs_on: ubuntu-latest runs_on: ubuntu-latest
steps: steps:
- name: Set up Git repository - name: Set up Git repository
uses: actions/checkout@v6 uses: actions/checkout@v6
- name: Print env var
run: echo '$GITHUB_ACTION_PATH'
- name: Compile docs document - name: Compile docs document
uses: xu-cheng/latex-action@v4 uses: xu-cheng/latex-action@v4
with: with: