[ci] add urg assertion report detail section in summary report

chipsalliance · Oct 9, 2024 · ee33c7d · ee33c7d
1 parent 002dcfa
commit ee33c7d
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/script/ci/src/Main.scala b/script/ci/src/Main.scala
@@ -235,8 +235,7 @@ object Main:
       "## Cycle Update\n"
     )
 
-    if urgReportFilePath.nonEmpty then
-      os.write(os.Path(urgReportFilePath.get, os.pwd), "# Coverage report\n")
+    if urgReportFilePath.nonEmpty then os.write(os.Path(urgReportFilePath.get, os.pwd), "# Coverage report\n")
 
     os.walk(os.pwd / ".github" / caseDir)
       .filter(_.last == "default.json")
@@ -292,12 +291,14 @@ object Main:
           Logger.info("Filtering urg report")
           val finalMdPath     = os.Path(urgReportFilePath.get, os.pwd)
           val urgAssertFile   = emuResultPath / "urgReport" / "asserts.txt"
-          val heading         = "^Summary for Cover Properties$".r
+          val summaryHeading  = "^Summary for Cover Properties$".r
+          val detailHeading   = "^Detail Report for Cover Properties$".r
           val coverSummaryStr =
             os.read(urgAssertFile)
               .lines()
-              .dropWhile(!heading.matches(_))
+              .dropWhile(!summaryHeading.matches(_))
               .takeWhile(_.distinct != "-")
+              .dropWhile(!detailHeading.matches(_))
               .toArray
               .mkString("\n")
           os.write.append(finalMdPath, s"### Coverage for $config \n")