mirror of
https://github.com/ggml-org/llama.cpp.git
synced 2025-07-30 06:03:37 -04:00
11ee0fea2a
* Docs: script to auto-generate ggml operations docs * Review: formatting changes + change github action * Use built-in types instead of typing * docs : add BLAS and Metal ops --------- Co-authored-by: Georgi Gerganov <ggerganov@gmail.com>
41 lines
1.3 KiB
YAML
41 lines
1.3 KiB
YAML
name: Update Operations Documentation
|
|
|
|
on:
|
|
push:
|
|
paths:
|
|
- 'docs/ops/**'
|
|
- 'scripts/create_ops_docs.py'
|
|
pull_request:
|
|
paths:
|
|
- 'docs/ops/**'
|
|
- 'scripts/create_ops_docs.py'
|
|
|
|
jobs:
|
|
update-ops-docs:
|
|
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.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."
|