Reduce log output

Author: fingolfin

action.yml

@@ -47,9 +47,9 @@ runs:
              Add(covs, Filename(d, f));
          od;
          Print("Merging coverage results from ", covs, "\n");
-         r := MergeLineByLineProfiles(covs);
+         r := MergeLineByLineProfiles(covs);;
          # filtered out unwanted other packages to avoid bad coverage interaction
-         r.line_info := Filtered(r.line_info, x -> not StartsWith( x[1], "$GAPROOT/" ) );
+         r.line_info := Filtered(r.line_info, x -> not StartsWith( x[1], "$GAPROOT/" ) );;
          Print("Outputting JSON\n");
          OutputJsonCoverage(r, "gap-coverage.json");
          QUIT_GAP(0);