-
Notifications
You must be signed in to change notification settings - Fork 15
Extend documentation #43
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Interesting error in CI because locally I don't see it: It is right though: Both repos have a requirements section and define a requirements label there. |
Use docs-as-code revisision with short-term fix for #305
|
Waiting for a PR in platform score eclipse-score/score#2284 and then a version bump. |
|
The created documentation from the pull request is available at: docu-html |
|
Not sure what is up with the integration testing checks. The documentation builds fine. |
|
@kgraeper do you again have some humungous local branch that is not merged yet? 😆 |
Agreed. Seems unrelated. Latest mains don't work -> should not even run on PR. |
Open points: