Skip to content

Rename reports with numeric prefix (010, 020, ...) for correct sort o… #2

Rename reports with numeric prefix (010, 020, ...) for correct sort o…

Rename reports with numeric prefix (010, 020, ...) for correct sort o… #2

Workflow file for this run

name: AsciiDoc Linter
on:
pull_request:
paths:
- 'src/docs/**/*.adoc'
push:
branches: [main]
paths:
- 'src/docs/**/*.adoc'
jobs:
lint:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install AsciiDoc Linter
run: |
pip install git+https://github.com/doctoolchain/asciidoc-linter.git
- name: Run AsciiDoc Linter
run: |
echo "Linting AsciiDoc files..."
find src/docs -name '*.adoc' | xargs asciidoc-linter --format console