File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ permissions:
2020 contents : write
2121
2222concurrency :
23- group : ${{ github.ref }}
23+ group : ${{ github.head_ref || github. ref }}
2424 cancel-in-progress : true
2525
2626jobs :
@@ -39,17 +39,17 @@ jobs:
3939 run : dotnet tool install -g dotnet-format
4040 - name : Format with .NET ${{ vars.DOTNET_SDK_VERSION }}
4141 run : |
42- git pull origin ${{ github.ref }}
42+ git pull origin ${{ github.head_ref || github. ref }}
4343 dotnet format whitespace --verbosity diagnostic
4444 dotnet format style --verbosity diagnostic
4545 dotnet format analyzers --diagnostics IDE0073 --verbosity diagnostic
4646 working-directory : ${{ github.workspace }}
47- - name : Push to ${{ github.ref }}
47+ - name : Push to ${{ github.head_ref || github. ref }}
4848 run : |
4949 git add .
5050 git config user.name "$(git log -n 1 --pretty=format:%an)"
5151 git config user.email "$(git log -n 1 --pretty=format:%ae)"
5252 git commit -m "applied file header rule"
53- git pull origin ${{ github.ref }}
54- git push origin ${{ github.ref }}
53+ git pull origin ${{ github.head_ref || github. ref }}
54+ git push origin ${{ github.head_ref || github. ref }}
5555 working-directory : ${{ github.workspace }}
You can’t perform that action at this time.
0 commit comments