Turn framework coverage into metric query

Benjamin Muskalla · Benjamin Muskalla · commit 9af50f5216a1 · 2022-02-07T12:08:18.000+01:00
diff --git 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
  */
 
