Post number of Psalm errors

hydephp · Nov 8, 2023 · d0214bd · d0214bd
1 parent 4f6ffc2
commit d0214bd
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/monorepo/scripts/ping-ci-server-with-type-coverage.php b/monorepo/scripts/ping-ci-server-with-type-coverage.php
@@ -15,10 +15,16 @@
 $commit = $argv[2] ?? exit(400);
 $branch = $argv[3] ?? 'master';
 
+if (file_exists('psalmout.txt')) {
+    // Count the number of errors in the output
+    $psalmErrors = substr_count(file_get_contents('psalmout.txt'), 'ERROR: ');
+}
+
 $data = [
     'commit' => $commit,
     'report' => file_get_contents('type-coverage.json') ?? exit(404),
     'branch' => $branch,
+    'psalmErrors' => $psalmErrors ?? null,
 ];
 
 $url = 'https://ci.hydephp.com/api/github/actions/type-coverage';