Skip to content

Adding 'module' way to build docs - #16

Merged
MaximilianSoerenPollak merged 1 commit into
eclipse-score:mainfrom
MaximilianSoerenPollak:Bugfix_process_docname
May 26, 2025
Merged

MaximilianSoerenPollak merged 1 commit into
eclipse-score:mainfrom
MaximilianSoerenPollak:Bugfix_process_docname

Conversation

@MaximilianSoerenPollak

Copy link
Copy Markdown
Contributor

Upgrading dependencies
Changing current build to 'latest'
Adding 'release' build
Adding new commands to README

Upgrading dependencies
Changing current build to 'latest'
Adding 'release' build
Adding new commands to README
@MaximilianSoerenPollak

Copy link
Copy Markdown
Contributor Author

!!! PR needs to be tested by affected users (who had proxy issues) first, before we can merge this.

@MaximilianSoerenPollak

MaximilianSoerenPollak commented May 26, 2025 •

Copy link
Copy Markdown
Contributor Author

Whoever had issues regrading the proxy, please let me know if the following is working for you.
@hoe-jo @aschemmel-tech , not sure who else was affected by this proxy issue.

git clone git@github.com:MaximilianSoerenPollak/process_description.git max_process_fork
# Or if you use 'https' instead of ssh
git clone https://github.com/MaximilianSoerenPollak/process_description.git max_process_fork

cd max_process_fork
git switch Bugfix_process_docname

# Then these two targets should work without the 'json' issue
bazel build //process:docs_release
bazel run //process:incremental_release

@masc2023 masc2023 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Testet latest and release, incremental and full build, all working fine for me

@MaximilianSoerenPollak
MaximilianSoerenPollak merged commit 2dcfa80 into eclipse-score:main May 26, 2025
@aschemmel-tech

Copy link
Copy Markdown
Contributor

I had the problem before and tested the fix guided by Max - was ok.

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.

3 participants