Skip to content

Allow using a different Service Account ID for custom token generation #27

Allow using a different Service Account ID for custom token generation

Allow using a different Service Account ID for custom token generation #27

Triggered via pull request November 27, 2025 22:15
Status Success
Total duration 1m 5s
Artifacts

static-analysis.yml

on: pull_request
Matrix: phpstan
Fit to window
Zoom out
Zoom in

Annotations

1 warning
PHPStan (PHP 8.5)
PHP Startup: Unable to load dynamic library '/usr/lib/php/20250925/grpc.so' (tried: /usr/lib/php/20250925/grpc.so (/usr/lib/php/20250925/grpc.so: undefined symbol: zend_exception_get_default), /usr/lib/php/20250925//usr/lib/php/20250925/grpc.so.so (/usr/lib/php/20250925//usr/lib/php/20250925/grpc.so.so: cannot open shared object file: No such file or directory))