github-actions-are-differences-found.yml

name: Check that OK files are up to date

on:
  pull_request:

jobs:
  No-Diffs-In-Ok-Files:
    runs-on: ${{ vars.USE_SELF_HOSTED == 'true' && 'self-hosted-ubuntu-26.04' || 'ubuntu-26.04' }}
    steps:
      - name: Check out repository code
        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
        with:
          fetch-depth: 0
      - name: Check ok files
        run: |
          if git ls-files '*.ok' | xargs grep -n "Differences found "; then
            exit 1
          fi