Skip to content
Back to pull request #400

php7[01234].extension.decimal: Override decimal to allow use in PHP 7 #1506

Sign in to view logs

php7[01234].extension.decimal: Override decimal to allow use in PHP 7

php7[01234].extension.decimal: Override decimal to allow use in PHP 7 #1506

PHP 8.1 on x86_64-linux

PHP 8.1 on x86_64-linux
succeeded Feb 9, 2025 in 1m 5s