Turn framework coverage into metric query

2026-04-28 10:15:14 +02:00 · 2022-02-07 11:52:03 +01:00
parent 1f2865c7cc
commit 9af50f5216
1 changed files with 2 additions and 1 deletions
--- a/java/ql/src/Diagnostics/CoverageDiagnostics.ql
+++ b/java/ql/src/Diagnostics/CoverageDiagnostics.ql
@@ -1,7 +1,8 @@
 /**
 * @name Diagnostics for framework coverage
 * @description Expose diagnostics for the number of API endpoints covered by CSV models.
- * @kind diagnostic
+ * @kind metric
+ * @tags summary
 * @id java/diagnostics/framework-coverage
 */