Skip to content

Add documents lists to startpage - #722

Merged
fbaeuerle merged 1 commit into
mainfrom
aschemmel-tech-add-document-lists
Oct 22, 2026
Merged

fbaeuerle merged 1 commit into
mainfrom
aschemmel-tech-add-document-lists

Conversation

@aschemmel-tech

@aschemmel-tech aschemmel-tech commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

This aligns the startpage with persistency repo and provides the document status needed for the safety package

@github-project-automation github-project-automation Bot moved this to In Progress in BAS - Baselibs FT Oct 21, 2026
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Oct 21, 2026
@aschemmel-tech
aschemmel-tech marked this pull request as ready for review October 21, 2026 11:28
@github-actions

Copy link
Copy Markdown
Contributor

Documentation preview for this pull request is available at:
pr-722: https://eclipse-score.github.io/baselibs/pr-722/

@aschemmel-tech
aschemmel-tech force-pushed the aschemmel-tech-add-document-lists branch from 54e7295 to 37a0046 Compare October 21, 2026 14:36
@github-project-automation github-project-automation Bot moved this from In Progress to On Hold in BAS - Baselibs FT Oct 22, 2026
@fbaeuerle
fbaeuerle added this pull request to the merge queue Oct 22, 2026
Merged via the queue into main with commit dae2df9 Oct 22, 2026
25 checks passed
@fbaeuerle
fbaeuerle deleted the aschemmel-tech-add-document-lists branch October 22, 2026 09:00
@github-project-automation github-project-automation Bot moved this from On Hold to Done in BAS - Baselibs FT Oct 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants