harder futility pruning if corrhist large #1090
Workflow file for this run
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
| # This workflow will run clang-format and comment on the PR. | |
| # Because of security reasons, it is crucial that this workflow | |
| # executes no shell script nor runs make. | |
| # Read this before editing: https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ | |
| name: Clang-Format | |
| on: | |
| pull_request_target: | |
| branches: | |
| - "master" | |
| paths: | |
| - "**.cpp" | |
| - "**.h" | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| Clang-Format: | |
| name: Clang-Format | |
| runs-on: ubuntu-20.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| - name: Run clang-format style check | |
| uses: jidicula/clang-format-action@f62da5e3d3a2d88ff364771d9d938773a618ab5e # @v4.11.0 | |
| id: clang-format | |
| continue-on-error: true | |
| with: | |
| clang-format-version: "18" | |
| exclude-regex: "incbin" | |
| - name: Comment on PR | |
| if: steps.clang-format.outcome == 'failure' | |
| uses: thollander/actions-comment-pull-request@fabd468d3a1a0b97feee5f6b9e499eab0dd903f6 # @v2.5.0 | |
| with: | |
| message: | | |
| clang-format 18 needs to be run on this PR. | |
| If you do not have clang-format installed, the maintainer will run it when merging. | |
| For the exact version please see https://packages.ubuntu.com/noble/clang-format-18. | |
| _(execution **${{ github.run_id }}** / attempt **${{ github.run_attempt }}**)_ | |
| comment_tag: execution | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Comment on PR | |
| if: steps.clang-format.outcome != 'failure' | |
| uses: thollander/actions-comment-pull-request@fabd468d3a1a0b97feee5f6b9e499eab0dd903f6 # @v2.5.0 | |
| with: | |
| message: | | |
| _(execution **${{ github.run_id }}** / attempt **${{ github.run_attempt }}**)_ | |
| create_if_not_exists: false | |
| comment_tag: execution | |
| mode: delete | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |