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 2
2
on :
3
3
pull_request :
4
4
merge_group :
5
-
6
5
jobs :
7
6
pre-commit :
8
7
name : " pre-commit"
9
8
runs-on : ubuntu-24.04-large
10
9
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
12
13
- uses : SonarSource/gh-action_pre-commit@3d5b503c1ce51d0f92665875b9bea716eff1e70f # 1.0.7
13
14
with :
14
15
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
+
17
18
ignore-failure : ${{ github.event_name == 'merge_group' }}
You can’t perform that action at this time.
0 commit comments