echodict/llama.cpp

1name: Update Operations Documentation2 3on:4    push:5        paths:6            - 'docs/ops.md'7            - 'docs/ops/**'8            - 'scripts/create_ops_docs.py'9    pull_request:10        paths:11            - 'docs/ops.md'12            - 'docs/ops/**'13            - 'scripts/create_ops_docs.py'14 15jobs:16    update-ops-docs:17        runs-on: ubuntu-slim18 19        steps:20        - name: Checkout repository21          uses: actions/checkout@v622 23        - name: Set up Python24          uses: actions/setup-python@v625          with:26              python-version: '3.x'27 28        - name: Generate operations documentation to temporary file29          run: |30              mkdir -p /tmp/ops_check31              ./scripts/create_ops_docs.py /tmp/ops_check/ops.md32 33        - name: Check if docs/ops.md matches generated version34          run: |35              if ! diff -q docs/ops.md /tmp/ops_check/ops.md; then36                  echo "Operations documentation (docs/ops.md) is not up to date with the backend CSV files."37                  echo "To fix: run ./scripts/create_ops_docs.py and commit the updated docs/ops.md along with your changes"38                  echo "Differences found:"39                  diff docs/ops.md /tmp/ops_check/ops.md || true40                  exit 141              fi42              echo "Operations documentation is up to date."43