ci: add JaCoCo coverage gate and Gitea CI pipeline #24
Reference in New Issue
Block a user
Delete Branch "issue-14/jacoco-ci-pipeline"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
prepare-agent,report, andcheckgoals.App,Controller,ShapesView,ShapeDraftman, listeners,Selection) from coverage enforcement.mvn verify→ upload JaCoCo HTML report as artifact.Closes #14
7a6111b75eto651cc4459e