Skip to content

Document junit#147

Merged
thomas-zahner merged 5 commits into
masterfrom
document-junit
Mar 10, 2026
Merged

Document junit#147
thomas-zahner merged 5 commits into
masterfrom
document-junit

Conversation

@thomas-zahner

@thomas-zahner thomas-zahner commented Mar 6, 2026

Copy link
Copy Markdown
Member

Document how to make use of the new JUnit format. Also simplify the recipes and put all GitHub CI recipes into a single page.

@thomas-zahner thomas-zahner requested review from katrinafyi and mre and removed request for katrinafyi March 6, 2026 09:53
@thomas-zahner thomas-zahner merged commit 4fa5a75 into master Mar 10, 2026
2 checks passed
@thomas-zahner thomas-zahner deleted the document-junit branch March 10, 2026 07:58
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.

2 participants