[PR] ci: retry a workspace check once when it crashes [magpie]

["potiuk (via GitHub)" <gi...@apache.org>]

potiuk opened a new pull request, #1644:
URL: https://github.com/apache/magpie/pull/1644

   ## Summary
   
   - The `prek` check has been failing PRs because ruff 0.16.9 segfaults on the CI runner, not because of anything in the PR. It hit `vetted-ops` on #1636 and `maildir` on #1642; neither PR touches those members, ruff passes on them locally, and #1636 passed on its next run.
   - `tools/dev/run-workspace-check.sh` now treats an exit status above 128 (a process killed by a signal) as a crash rather than a finding, and runs that one member once more. It prints `↻ <check>: <member> crashed (signal N); retrying once`, so the crash stays visible in the log.
   - A real finding exits 1 and is never retried. A second crash still fails the check, so a member that crashes consistently is not hidden.
   
   ## Type of change
   
   - [x] CI / dev loop (`prek`, workflows, validators)
   
   ## Test plan
   
   - [x] `prek run --all-files` passes
   - [x] Exercised with a fake `uv` on `PATH` in a scratch workspace:
     - crashes once (SIGSEGV), then passes → exit 0, 2 calls;
     - crashes twice → exit 1, 2 calls;
     - real lint failure (exit 1) → exit 1, 1 call, no retry.
   
   ## Linked issues
   
   None.
   
   ---
   
   Generative AI disclosure: drafted with Claude Code (Opus 5.5) and reviewed by the author.
   
   🤖 Generated with [Claude Code](https://claude.com/claude-code)
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@magpie.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

Re: [PR] ci: retry a workspace check once when it crashes [magpie]

["potiuk (via GitHub)" <gi...@apache.org>]

potiuk merged PR #1644:
URL: https://github.com/apache/magpie/pull/1644


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@magpie.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org