Skip to content
PHP Lint

Fix: bug on historical settings not being deleted when using most current settings #776

Sign in to view logs

Fix: bug on historical settings not being deleted when using most current settings

Fix: bug on historical settings not being deleted when using most current settings #776

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint (ubuntu-latest, 7.2)
9s
lint (ubuntu-latest, 7.3)
11s
lint (ubuntu-latest, 7.4)
11s
lint (ubuntu-latest, 8.0)
11s
lint (ubuntu-latest, 8.1)
10s
52s