Skip to content

Commit c60a885

Browse files
authored
Merge branch 'master' into slim-package.json
2 parents 398f946 + c875997 commit c60a885

File tree

3 files changed

+5
-3
lines changed

3 files changed

+5
-3
lines changed

.github/workflows/continuous-integration.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -495,10 +495,10 @@ jobs:
495495
run: composer install --no-ansi --no-interaction --no-scripts --no-progress --prefer-dist
496496

497497
- name: Run static analysis (Psalm/Shepherd)
498-
run: vendor/bin/psalm --shepherd || true
498+
run: vendor/bin/psalm --shepherd > psalmout.txt|| true
499499

500500
- name: Ping CI server with type coverage results
501-
run: php monorepo/scripts/ping-ci-server-with-type-coverage.php ${{ secrets.CI_SERVER_TOKEN }} ${{ github.sha }} master
501+
run: php monorepo/scripts/ping-ci-server-with-type-coverage.php ${{ secrets.CI_SERVER_TOKEN }} ${{ github.sha }} master ${{ github.run_id }}
502502

503503

504504
run-static-analysis-phpstan:

.github/workflows/static-analysis.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -22,4 +22,4 @@ jobs:
2222

2323
# Send the reports to the CI server to calculate type coverage and send back commit status checks
2424
- name: Ping CI server with type coverage results
25-
run: php monorepo/scripts/ping-ci-server-with-type-coverage.php ${{ secrets.CI_SERVER_TOKEN }} ${{ github.event.pull_request.head.sha }} ${{ github.head_ref }}
25+
run: php monorepo/scripts/ping-ci-server-with-type-coverage.php ${{ secrets.CI_SERVER_TOKEN }} ${{ github.event.pull_request.head.sha }} ${{ github.head_ref }} ${{ github.run_id }}

monorepo/scripts/ping-ci-server-with-type-coverage.php

+2
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@
1414
$token = $argv[1] ?? exit(400);
1515
$commit = $argv[2] ?? exit(400);
1616
$branch = $argv[3] ?? 'master';
17+
$runId = $argv[4] ?? null;
1718

1819
if (file_exists('psalmout.txt')) {
1920
// Count the number of errors in the output
@@ -25,6 +26,7 @@
2526
'report' => file_get_contents('type-coverage.json') ?? exit(404),
2627
'branch' => $branch,
2728
'psalmErrors' => $psalmErrors ?? null,
29+
'runId' => $runId,
2830
];
2931

3032
$url = 'https://ci.hydephp.com/api/github/actions/type-coverage';

0 commit comments

Comments
 (0)