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

Re-run triggered February 9, 2025 18:06
@jtojnarjtojnar
#400
agj:extensions/fix-decimal-php7
Status Success
Total duration 19s
Artifacts –

editorconfig-checks.yaml

on: pull_request
lockfile
2s
lockfile
Fit to window
Zoom out
Zoom in