Repository navigation
fixes a bug in contract when the two fermionic tensors have no common labels #1954
Workflow file for this run
This file contains hidden or 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: clang-format Check | |
| on: | |
| pull_request: | |
| workflow_dispatch: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }} | |
| cancel-in-progress: ${{ github.event_name == 'pull_request' }} | |
| jobs: | |
| formatting-check: | |
| name: Formatting Check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| # When re-running a PR job, GitHub Actions uses the merge commit created at | |
| # the time of the original run, not a fresh merge with the latest target branch. | |
| # This step ensures we always test against the most recent target branch. | |
| # A committer identity is required because a non-fast-forward merge creates | |
| # a merge commit. | |
| - name: Merge with latest target branch (pull_request only) | |
| if: github.event_name == 'pull_request' | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| git fetch origin ${{ github.event.pull_request.base.ref }} | |
| git merge --no-edit origin/${{ github.event.pull_request.base.ref }} | |
| - name: Run clang-format style check for C/C++/Protobuf programs. | |
| uses: jidicula/clang-format-action@v4.16.0 | |
| with: | |
| clang-format-version: '14' | |
| check-path: '.' | |
| fallback-style: 'Google' # optional |