Add cobertura field to Reports

bgamari · May 5, 2022 · 3fd91be · 3fd91be
1 parent 5715741
commit 3fd91be
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 3 deletions.
diff --git a/GitLab/Reports/Type.dhall b/GitLab/Reports/Type.dhall
@@ -1 +1 @@
-{ junit : Optional (List Text) }
+{ junit : Optional (List Text), cobertura : Optional Text }
diff --git a/GitLab/Reports/append.dhall b/GitLab/Reports/append.dhall
@@ -6,6 +6,8 @@ let append
     : Reports → Reports → Reports
     = λ(a : Reports) →
       λ(b : Reports) →
-        { junit = mergeOptionalList Text a.junit b.junit }
+        { junit = mergeOptionalList Text a.junit b.junit
+        , cobertura = b.cobertura
+        }
 
 in  append
diff --git a/GitLab/Reports/default.dhall b/GitLab/Reports/default.dhall
@@ -1 +1 @@
-{ junit = None (List Text) } : ./Type.dhall
+{ junit = None (List Text), cobertura = None Text } : ./Type.dhall
diff --git a/GitLab/Reports/toJSON.dhall b/GitLab/Reports/toJSON.dhall
@@ -27,6 +27,12 @@ in  let Reports/toJSON
                           JSON.Type
                           stringsArray
                           reports.junit
+                    , cobertura =
+                        Optional/map
+                          Text
+                          JSON.Type
+                          JSON.string
+                          reports.cobertura
                     }
 
             in  JSON.object (dropNones Text JSON.Type everything)