Skip to content
CI

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3 #936

Sign in to view logs

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3

fix NumberFormatter::TYPE_CURRENCY being deprecated in PHP 8.3 #936

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PHP 7.2.5
15s
PHP 7.3
11s
PHP 7.4
14s
PHP 8.0
16s
PHP 8.1
21s
PHP 8.2
22s
${{ matrix.extension }} with PHP ${{ matrix.php-version }}
0s
Integration tests with PHP ${{ matrix.php-version }}
0s
1m 39s