Skip to content

macos CI: let openmp curl fail graciously#7666

Merged
ben-schwen merged 2 commits intomasterfrom
macos_CI
Mar 12, 2026
Merged

macos CI: let openmp curl fail graciously#7666
ben-schwen merged 2 commits intomasterfrom
macos_CI

Conversation

@ben-schwen
Copy link
Member

@ben-schwen ben-schwen commented Mar 12, 2026

Follows #7318

Fixes macOS CI by selecting the OpenMP runtime from mac.r-project.org/openmp/ for the detected Apple clang version.
Avoids breakage when the pinned tarball changes (which it apparently does often for the new clang version).

The pinned OpenMP tarball still appears to exist, but GitHub Actions runners are timing out when connecting to mac.r-project.org. This change fails gracefully and falls back when the runtime cannot be fetched.

@ben-schwen ben-schwen requested a review from aitap March 12, 2026 09:18
@ben-schwen ben-schwen changed the title parse macos info site to avoid updating release version link macos runner: let curl fail graciously Mar 12, 2026
@ben-schwen ben-schwen changed the title macos runner: let curl fail graciously macos CI: let curl fail graciously Mar 12, 2026
@ben-schwen ben-schwen changed the title macos CI: let curl fail graciously macos CI: let openmp curl fail graciously Mar 12, 2026
@ben-schwen ben-schwen merged commit 625e497 into master Mar 12, 2026
10 checks passed
@ben-schwen ben-schwen deleted the macos_CI branch March 12, 2026 11:15
@aitap
Copy link
Member

aitap commented Mar 12, 2026

macrtools also hard-codes a list of files: https://github.com/coatless-mac/macrtools/blob/6d7ff513e1724741f4ebac5a3b9bf43dac905770/R/openmp.R#L367-L370

It might make sense to ask for a machine-readable list of pre-compiled runtimes, although the case may be that the OpenMP runtimes aren't "supported enough" to offer such a list.

@ben-schwen
Copy link
Member Author

According to the latest R devel mails, this was a one time thing and not related to us or our checks. But for the future it still seems good that the checks won't fail once the servers are not available or blocks the GitHub runner again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants