Skip to content

Fix codeSpaces/devcontainer startup#4111

Merged
danyeaw merged 4 commits into
gaphor:mainfrom
mikekidner:main
Nov 24, 2025
Merged

Fix codeSpaces/devcontainer startup#4111
danyeaw merged 4 commits into
gaphor:mainfrom
mikekidner:main

Conversation

@mikekidner
Copy link
Copy Markdown
Contributor

@mikekidner mikekidner commented Nov 17, 2025

Changing to Debian base image allows CodeSpace to build without error.

PR Checklist

Please check if your PR fulfills the following requirements:

PR Type

What kind of change does this PR introduce?

  • Bug fix
  • Feature
  • Chore (refactoring, formatting, local variables, other cleanup)
  • Documentation content changes

What is the current behavior?

github codespace fails to build.
Issue Number: fixes #4107

What is the new behavior?

github codespace builds without error

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

made base debian, to see if that produces valid codespace
@mikekidner
Copy link
Copy Markdown
Contributor Author

should be issue #4107. Hint to self: don't write pull requests before being fully awake. ☕

@amolenaar
Copy link
Copy Markdown
Member

Thanks, this works.

While you're at it: Do you also want to remove the top 2 linesm and add graphviz as a to-be installed package?

@amolenaar amolenaar changed the title issue 1170 Fix codeSpaces/devcontainer startup Nov 18, 2025
Copy link
Copy Markdown
Member

@danyeaw danyeaw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @mikekidner!

@danyeaw danyeaw merged commit 6994e2e into gaphor:main Nov 24, 2025
27 checks passed
@danyeaw danyeaw added the chore Maintenance related PR label Apr 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance related PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CodeSpace creation error

3 participants