Felipe97/llama-cpp-compiled

1name: Update Operations Documentation2 3on:4    push:5        paths:6            - '.github/workflows/update-ops-docs.yml'7            - 'docs/ops.md'8            - 'docs/ops/**'9            - 'scripts/create_ops_docs.py'10    pull_request:11        paths:12            - '.github/workflows/update-ops-docs.yml'13            - 'docs/ops.md'14            - 'docs/ops/**'15            - 'scripts/create_ops_docs.py'16 17jobs:18    update-ops-docs:19        runs-on: ubuntu-slim20 21        steps:22        - name: Checkout repository23          uses: actions/checkout@v624 25        - name: Set up Python26          uses: actions/setup-python@v627          with:28              python-version: '3.x'29 30        - name: Generate operations documentation to temporary file31          run: |32              mkdir -p /tmp/ops_check33              ./scripts/create_ops_docs.py /tmp/ops_check/ops.md34 35        - name: Check if docs/ops.md matches generated version36          run: |37              if ! diff -q docs/ops.md /tmp/ops_check/ops.md; then38                  echo "Operations documentation (docs/ops.md) is not up to date with the backend CSV files."39                  echo "To fix: run ./scripts/create_ops_docs.py and commit the updated docs/ops.md along with your changes"40                  echo "Differences found:"41                  diff docs/ops.md /tmp/ops_check/ops.md || true42                  exit 143              fi44              echo "Operations documentation is up to date."45