Skip to content

Another attempt in disabling the redis-extension #435

Another attempt in disabling the redis-extension

Another attempt in disabling the redis-extension #435

Triggered via push November 29, 2025 21:50
Status Failure
Total duration 33s
Artifacts

php.yml

on: push
Matrix: PHP-Linter
Linter  /  ecmascript-linter
Linter / ecmascript-linter
Linter  /  json-linter
Linter / json-linter
Linter  /  style-linter
Linter / style-linter
Linter  /  yaml-linter
Linter / yaml-linter
Matrix: unit-tests-linux
Matrix: unit-tests-windows
Code coverage
0s
Code coverage
Quality control
0s
Quality control
Security checks
0s
Security checks
Cleanup artifacts
0s
Cleanup artifacts
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 4 warnings
Linter / yaml-linter
Process completed with exit code 1.
PHP-Linter (8.2) / linter
Process completed with exit code 1.
PHP-Linter (8.3) / linter
Process completed with exit code 1.
PHP-Linter (8.4) / linter
Process completed with exit code 1.
PHP-Linter (8.5) / linter
Process completed with exit code 1.
PHP-Linter (8.2) / linter
Unexpected input(s) 'extension', valid inputs are ['php-version', 'php-version-file', 'extensions', 'ini-file', 'ini-values', 'coverage', 'tools', 'github-token']
PHP-Linter (8.3) / linter
Unexpected input(s) 'extension', valid inputs are ['php-version', 'php-version-file', 'extensions', 'ini-file', 'ini-values', 'coverage', 'tools', 'github-token']
PHP-Linter (8.4) / linter
Unexpected input(s) 'extension', valid inputs are ['php-version', 'php-version-file', 'extensions', 'ini-file', 'ini-values', 'coverage', 'tools', 'github-token']
PHP-Linter (8.5) / linter
Unexpected input(s) 'extension', valid inputs are ['php-version', 'php-version-file', 'extensions', 'ini-file', 'ini-values', 'coverage', 'tools', 'github-token']