Add CI retry logic to setup scripts

[Copilot]

• Inspect recent GitHub Actions runs and retrieve logs for failing job 76153726107
• Identify root cause in repository code/config and locate minimal fix
• Implement surgical code/config change and run targeted validation
• Run required checks (including parallel validation) and confirm no regressions
• Apply formatting with black and gersemi per formatting skill
• Move hardcoded timeout to vote_using_majority default parameter
• Report completion and push final update

[Copilot]

Pull request overview

Note

Copilot was unable to run its full agentic suite in this review.

Adds CI-aware retry wrappers to the dev and CI setup scripts to reduce transient failures during dependency/tool installation.

Changes:

• Introduced a retry helper that retries up to 3 times in CI with backoff delays.
• Refactored setup steps into grouped functions invoked via retry.
• Enabled pipefail in both scripts for stricter failure handling.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 4 comments.

File	Description
scripts/setup-dev.sh	Adds CI retry helper; wraps dev dependency/tool installs (including shellcheck) in retry groups.
scripts/setup-ci.sh	Adds CI retry helper; groups CI dependencies and tool setup into retry-wrapped functions.

[achamayou]

@copilot look for the formatting skill and use it.

[Copilot]

@copilot look for the formatting skill and use it.

Applied formatting with black and gersemi in commit 64f30d9.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

• astral.sh
  • Triggering command: /usr/bin/curl curl -LsSf REDACTED (dns block)

If you need me to access, download, or install something from one of these locations, you can either:

• Configure Actions setup steps to set up my environment, which run before the firewall is enabled
• Add the appropriate URLs or hosts to the custom allowlist in this repository's Copilot coding agent settings (admins only)