Skip to content

Conversation

lurtz
Copy link
Contributor

@lurtz lurtz commented Jul 28, 2025

Having only one devcontainer hopefully makes maintenance easier.
This way a single devcontainer has to work right and understood
by everybody.

‼️ Please squash merge this PR and use the PR description for the commit. ‼️

Copy link

The created documentation from the pull request is available at: docu-html

@lurtz lurtz marked this pull request as ready for review July 28, 2025 12:16
lurtz added 4 commits July 31, 2025 14:13
Having only one devcontainer hopefully makes maintenance easier.
This way a single devcontainer has to work right and understood
by everybody.
@lurtz lurtz force-pushed the use-score-devcontainer branch from 249f30c to ade991b Compare July 31, 2025 14:13
@lurtz lurtz marked this pull request as draft August 4, 2025 16:13
@lurtz lurtz marked this pull request as ready for review August 6, 2025 09:15
AlexanderLanin
AlexanderLanin previously approved these changes Aug 6, 2025
@lurtz lurtz marked this pull request as draft August 6, 2025 09:39
@lurtz
Copy link
Contributor Author

lurtz commented Aug 6, 2025

at the moment bazel is super slow in the container. This has to be fixed

@lurtz lurtz force-pushed the use-score-devcontainer branch from 80fbb6c to 15f11d2 Compare August 8, 2025 12:44
ERROR: Error computing the main repository mapping: Unable to get module repo spec for [email protected] from registry: Failed to fetch registry file https://raw.githubusercontent.com/eclipse-score/bazel_registry/main/modules/score_docs_as_code/1.0.1/source.json: Checksum was 64fe1f7a2928dae40ad4a1a533fe4f3d5aa93fc95c3f4bc0aa67981ab8e22060 but wanted 966544dc383ad1dcd3f710504c8b0966afddb9f332ac958964b243b46ca4917c
@lurtz
Copy link
Contributor Author

lurtz commented Aug 14, 2025

at the moment bazel is super slow in the container. This has to be fixed

bazel clean --expunge fixed the slowness. I wonder why.

@lurtz lurtz marked this pull request as ready for review August 14, 2025 10:20
@AlexanderLanin AlexanderLanin merged commit d1c4b56 into eclipse-score:main Aug 14, 2025
6 checks passed
@lurtz lurtz deleted the use-score-devcontainer branch August 14, 2025 10:49
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.

4 participants