[Actions] Workflows should not get stuck when the update server is unresponsive

[VeithMetro]

No description provided.

[Copilot]

Pull request overview

Updates the Linux GitHub Actions workflow to make apt-get update / apt-get install less likely to hang indefinitely when Ubuntu package servers are slow or unresponsive, by adding explicit timeouts, retries, and mirror switching.

Changes:

• Adds apt-get timeout/retry options and wraps apt-get calls in an overall timeout.
• Introduces basic Ubuntu mirror switching logic after repeated failures.
• Adds explicit failure handling when apt-get update / apt-get install exhaust retries.

Suppressed comments (1)

.github/workflows/Linux build template.yml:99

• The failure message says "after trying 3 Ubuntu mirrors", but this step only cycles through the current/default mirror plus the entries in MIRRORS. Making the count dynamic avoids the message becoming inaccurate if the mirror list changes.

        if [ "$installed" -ne 1 ]; then
          echo "apt-get install failed after trying 3 Ubuntu mirrors"
          exit 1

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[Copilot]

Pull request overview

Copilot reviewed 1 out of 1 changed files in this pull request and generated 1 comment.