Skip to content

Development scripts and docs improvements#367

Merged
justinc1 merged 9 commits intomainfrom
dev-docs
Jan 29, 2026
Merged

Development scripts and docs improvements#367
justinc1 merged 9 commits intomainfrom
dev-docs

Conversation

@justinc1
Copy link
Collaborator

Improve and document run-tests.sh helper

Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
…sily

Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Copy link
Collaborator

@anazobec anazobec left a comment

Choose a reason for hiding this comment

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

LGTM from me! Thanks, @justinc1.

Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
Signed-off-by: Justin Cinkelj <justin.cinkelj@xlab.si>
@justinc1 justinc1 merged commit 34308d2 into main Jan 29, 2026
6 checks passed
@justinc1 justinc1 deleted the dev-docs branch January 29, 2026 12:28
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