onedev/server-plugin-report-coverage at d62c784c3f418ce46c2e3c00bb53e190d12abd6c - onedev - Gitea: Git with a cup of tea

archive-gh-me/onedev

mirror of https://github.com/theonedev/onedev.git synced 2025-12-08 18:26:30 +00:00

History

Robin Shen d62c784c3f Revert version to 7.9.9 in order to merge with main branch easily

2023-02-03 14:04:33 +08:00

..

src/main/java/io/onedev/server/plugin/report/coverage

Fix issue #458 - Allow users to access repositories by name (Web UI URL)

2022-11-27 22:26:52 +08:00

pom.xml

Revert version to 7.9.9 in order to merge with main branch easily

2023-02-03 14:04:33 +08:00