This repository was archived by the owner on Nov 19, 2024. It is now read-only.

Record coverage#600

Closed

uhafner wants to merge 6 commits intomasterfrom

record-coverage

Commits on Mar 21, 2023

Commits on Mar 22, 2023

Archive JaCoCo files.
uhafner
committed

Commits on Mar 24, 2023

Fix workflow.
uhafner
committed

Commits on Mar 27, 2023