Skip to content
EditorConfig checks

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

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 #1213

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lockfile
2s
2s