[CP-SAT] fix fuzzer bug #3839
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Check Format | |
| on: [push, pull_request, workflow_dispatch] | |
| jobs: | |
| # Building using the github runner environement directly. | |
| clang-format: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Fetch origin/main | |
| run: git fetch origin main | |
| - name: List of changed file(s) | |
| run: git diff --name-only FETCH_HEAD | |
| - name: Build clang-format docker | |
| run: cd .github/workflows && docker build --tag=linter . | |
| - name: Check clang-format | |
| run: docker run --rm --init -v $(pwd):/repo linter:latest clang-format --version | |
| - name: clang-format help | |
| run: docker run --rm --init -v $(pwd):/repo linter:latest clang-format --help | |
| - name: Check current commit | |
| run: docker run --rm --init -v $(pwd):/repo -w /repo linter:latest sh -c "git diff --diff-filter=d --name-only FETCH_HEAD | grep '\.c$\|\.h$\|\.cc$\|\.java$\|\.cs$' | xargs clang-format --verbose --style=file --dry-run --Werror " |