Skip to content

Improved caching for faster and more reliable CI#4156

Merged
ahojnnes merged 10 commits into
mainfrom
user/jsch/fetch-content-cache
Feb 28, 2026
Merged

Improved caching for faster and more reliable CI#4156
ahojnnes merged 10 commits into
mainfrom
user/jsch/fetch-content-cache

Conversation

@ahojnnes

@ahojnnes ahojnnes commented Feb 27, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor
  • Adds caching for FetchContent, which doesn't support retries by itself. Should resolve a lot of CI failures due to FetchContent failures.
  • Adds ccache support for pycolmap build.
  • Adds ccache/fetchcontent caching for docker build.

@gemini-code-assist

gemini-code-assist Bot commented Feb 27, 2026

Copy link
Copy Markdown
Contributor

Note

Gemini is unable to generate a summary for this pull request due to the file types involved not being currently supported.

@ahojnnes ahojnnes changed the title Increase CI reliability by caching FetchContent deps Improved caching for faster and more reliable CI Feb 28, 2026
@ahojnnes ahojnnes merged commit 015854e into main Feb 28, 2026
20 checks passed
@ahojnnes ahojnnes deleted the user/jsch/fetch-content-cache branch February 28, 2026 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@B1ueber2y B1ueber2y B1ueber2y approved these changes
@sarlinpe sarlinpe Awaiting requested review from sarlinpe
@lpanaf lpanaf Awaiting requested review from lpanaf

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ahojnnes @B1ueber2y