Disable building space_robots image in GHA (#237).#238
Merged
Conversation
One of the the CI jobs fails to complete due to lack of space. This is preventing us from complying with our process of always having a successful CI build before merging PRs. This commit disables the last stage of the docker build CI job, building the `space_robots` image, where this problem manifests.
ivanperez-keera
force-pushed
the
dev-disable-space_robots
branch
from
c715c45 to
e05b79e
Compare
ivanperez-keera
changed the title
space_robots image in GHA (#237).
Bckempa
approved these changes
Apr 30, 2025
Contributor
Bckempa
left a comment
Bckempa
left a comment
There was a problem hiding this comment.
As mentioned by @mkhansenbot this probably isn't the right repo to be doing that build in anyway.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
One of the the CI jobs fails to complete due to lack of space. This is preventing us from complying with our process of always having a successful CI build before merging PRs.
This commit disables the last stage of the docker build CI job, where this problem manifests.