From b333b06772c89d96aacb5490d6a219fba7c09cc6 Mon Sep 17 00:00:00 2001 From: Mitja Felicijan Date: Thu, 12 Feb 2026 20:57:17 +0100 Subject: Engage! --- llama.cpp/.github/workflows/update-ops-docs.yml | 42 +++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 llama.cpp/.github/workflows/update-ops-docs.yml (limited to 'llama.cpp/.github/workflows/update-ops-docs.yml') diff --git a/llama.cpp/.github/workflows/update-ops-docs.yml b/llama.cpp/.github/workflows/update-ops-docs.yml new file mode 100644 index 0000000..2ab06eb --- /dev/null +++ b/llama.cpp/.github/workflows/update-ops-docs.yml @@ -0,0 +1,42 @@ +name: Update Operations Documentation + +on: + push: + paths: + - 'docs/ops.md' + - 'docs/ops/**' + - 'scripts/create_ops_docs.py' + pull_request: + paths: + - 'docs/ops.md' + - 'docs/ops/**' + - 'scripts/create_ops_docs.py' + +jobs: + update-ops-docs: + runs-on: ubuntu-slim + + steps: + - name: Checkout repository + uses: actions/checkout@v6 + + - name: Set up Python + uses: actions/setup-python@v6 + with: + python-version: '3.x' + + - name: Generate operations documentation to temporary file + run: | + mkdir -p /tmp/ops_check + ./scripts/create_ops_docs.py /tmp/ops_check/ops.md + + - name: Check if docs/ops.md matches generated version + run: | + if ! diff -q docs/ops.md /tmp/ops_check/ops.md; then + echo "Operations documentation (docs/ops.md) is not up to date with the backend CSV files." + echo "To fix: run ./scripts/create_ops_docs.py and commit the updated docs/ops.md along with your changes" + echo "Differences found:" + diff docs/ops.md /tmp/ops_check/ops.md || true + exit 1 + fi + echo "Operations documentation is up to date." -- cgit v1.2.3