Skip to content

Ci split docs image - #4148

Open
joshua-white wants to merge 3 commits into
developfrom
ci-split-docs-image
Open

joshua-white wants to merge 3 commits into
developfrom
ci-split-docs-image

Conversation

@joshua-white

Copy link
Copy Markdown
Contributor

This PR separates the ubuntu images to now have versions with and without documentation packages to address the streak2 / BCB issues. packages for sphinx document are kept strictly on GitHub runners. This PR points to new TPL branch with updated images.

@joshua-white joshua-white self-assigned this Sep 19, 2026
@joshua-white joshua-white added type: CI Concerns github workflows or generic CI ci: run integrated tests Allows to run the integrated tests in GEOS CI ci: run code coverage enables running of the code coverage CI jobs github_actions Pull requests that update GitHub Actions code ci: run device builds Allows to run the device (CUDA/HIP) builds labels Sep 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci: run code coverage enables running of the code coverage CI jobs ci: run device builds Allows to run the device (CUDA/HIP) builds ci: run integrated tests Allows to run the integrated tests in GEOS CI github_actions Pull requests that update GitHub Actions code type: CI Concerns github workflows or generic CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant