File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed
Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change 22on :
33 pull_request :
44 merge_group :
5-
65jobs :
76 pre-commit :
87 name : " pre-commit"
98 runs-on : ubuntu-24.04-large
109 steps :
11- - uses : jdx/mise-action@5cb1df66ed5e1fb3c670ea0b62fd17a76979826a # v2.3.1
10+ - uses : ' jdx/mise-action@c37c93293d6b742fc901e1406b8f764f6fb19dac # v2.4.4' # v2.3.1
11+ with :
12+ version : 2025.7.12
1213 - uses : SonarSource/gh-action_pre-commit@3d5b503c1ce51d0f92665875b9bea716eff1e70f # 1.0.7
1314 with :
1415 extra-args : >
15- --from-ref=origin/${{ github.event.pull_request.base.ref }}
16- --to-ref=${{ github.event.pull_request.head.sha }}
16+ --from-ref=origin/${{ github.event.pull_request.base.ref }} --to-ref=${{ github.event.pull_request.head.sha }}
17+
1718 ignore-failure : ${{ github.event_name == 'merge_group' }}
You can’t perform that action at this time.
0 commit comments