aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/checks.yml
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows/checks.yml')
-rw-r--r--.github/workflows/checks.yml28
1 files changed, 14 insertions, 14 deletions
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
index c34d196f..94d0a342 100644
--- a/.github/workflows/checks.yml
+++ b/.github/workflows/checks.yml
@@ -40,23 +40,23 @@ jobs:
run: |
dotnet format whitespace --verify-no-changes --report ./whitespace-report.json -v d
+ # For some unknown reason this step sometimes fails with exit code 139 (segfault?),
+ # so in that case we'll try again (3 tries max).
- name: Run dotnet format style
- run: |
- dotnet format style --severity info --verify-no-changes --report ./style-report.json -v d
+ uses: TSRBerry/unstable-commands@v1
+ with:
+ commands: dotnet format style --severity info --verify-no-changes --report ./style-report.json -v d
+ timeout-minutes: 5
+ retry-codes: 139
- # For some reason this step sometimes fails with exit code 139 (segfault?),
- # so should that be the case we'll try again (3 tries max).
+ # For some unknown reason this step sometimes fails with exit code 139 (segfault?),
+ # so in that case we'll try again (3 tries max).
- name: Run dotnet format analyzers
- run: |
- attempt=0
- exit_code=139
- until [ $attempt -ge 3 ] || [ $exit_code -ne 139 ]; do
- ((attempt+=1))
- exit_code=0
- echo "Attempt: ${attempt}/3"
- dotnet format analyzers --severity info --verify-no-changes --report ./analyzers-report.json -v d || exit_code=$?
- done
- exit $exit_code
+ uses: TSRBerry/unstable-commands@v1
+ with:
+ commands: dotnet format analyzers --severity info --verify-no-changes --report ./analyzers-report.json -v d
+ timeout-minutes: 5
+ retry-codes: 139
- name: Upload report
if: failure()