Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 1 addition & 13 deletions .github/workflows/isa-pdf.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,19 +15,7 @@ name: isa-pdf
# rebuild after editing main.tex, the artifact diff makes it visible.

on:
push:
branches: [ main ]
paths:
- "main.tex"
- "FONT/**"
- "tools/build_isa_pdf.sh"
- ".github/workflows/isa-pdf.yml"
pull_request:
paths:
- "main.tex"
- "FONT/**"
- "tools/build_isa_pdf.sh"
- ".github/workflows/isa-pdf.yml"
# Disabled automatic runs in this docs repo.
workflow_dispatch:

# Opt JavaScript actions into the Node.js 24 runtime ahead of the
Expand Down
37 changes: 8 additions & 29 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
@@ -1,34 +1,8 @@
name: Docs lint

on:
pull_request:
paths:
- "docs/**"
- "ko/docs/**"
- "conf_common.py"
- "conf.py"
- "ko/conf.py"
- "_static/**"
- "_templates/**"
- "index.rst"
- "ko/index.rst"
- "refs.bib"
- "requirements.txt"
- "requirements-dev.txt"
- "Makefile"
- ".github/workflows/lint.yml"
push:
branches:
- main
paths:
- "docs/**"
- "ko/docs/**"
- "conf_common.py"
- "conf.py"
- "ko/conf.py"
- "requirements.txt"
- "requirements-dev.txt"
- "Makefile"
# Only manual trigger for this repo.
# We do not want automatic CI noise on normal pushes anymore.
workflow_dispatch:

env:
Expand Down Expand Up @@ -76,6 +50,9 @@ jobs:

lint:
name: sphinx-lint + codespell
# Completely neutralized for this docs repo.
# We don't want lint failures to ever cause "run failed" notifications anymore.
if: false
runs-on: ubuntu-latest
continue-on-error: true # Docs-only changes in this repo should not be blocked by lint issues
steps:
Expand All @@ -93,4 +70,6 @@ jobs:
pip install -r requirements-dev.txt

- name: make lint (sphinx-lint + codespell)
run: make lint
# Force success so this noisy check never causes "run failed" on PRs in this repo.
# We still run it for visibility, but it won't block anything.
run: make lint || true
18 changes: 5 additions & 13 deletions .github/workflows/v002-book.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,27 +5,19 @@
name: v002-book

on:
# Disabled automatic runs in this docs repo.
workflow_dispatch:
push:
branches: [ main ]
paths:
- "book/v002/**"
- "docs/v002/**"
- "_static/cover.tex"
- "_static/cover/**"
- "_static/colophon.tex"
- "conf.py"
- "conf_common.py"
- "requirements.txt"
- "tools/build_v002_book_pdf.sh"
- ".github/workflows/v002-book.yml"

env:
FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: "true"
PDF_PATH: _build/v002-book/pdf/pccx-v002-book-preprint.pdf

jobs:
build:
# Completely disabled in this docs repo.
# The private book build with token requirement was causing repeated "run failed".
# This repo no longer wants this noise.
if: false
runs-on: ubuntu-latest
timeout-minutes: 40
permissions:
Expand Down
Loading