Skip to content

Inferred a type for the values of $resource_ids #26

Inferred a type for the values of $resource_ids

Inferred a type for the values of $resource_ids #26

Triggered via push December 17, 2024 13:21
Status Failure
Total duration 3m 26s
Artifacts 2

ci.yml

on: push
Matrix: phpstan / php-stan
Waiting for pending jobs
Matrix: windows-ci / win-test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
phan / Run phan
Process completed with exit code 1.
phan / Run phan
Process completed with exit code 1.
pre-commit / pre-commit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
pre-commit / pre-commit
Cache save failed.
phan / Run phan
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
phan / Run phan: htdocs/core/lib/resource.lib.php#L158
resource.lib.php: PhanPluginUnknownArrayFunctionParamType: Function getBusyResourcesInPeriod() has a parameter type of array for $resource_ids, but does not specify any key types or value types (Types inferred after analysis: array<int,int>|list<int>|list<string>)

Artifacts

Produced during runtime
Name Size
phan-srcrt Expired
454 Bytes
precommit-logs
552 Bytes