Lint php

chore: drop unused ocs/providers.php #39932

Sign in to view logs

Triggered via pull request August 11, 2025 22:27

opened #54370

chore-remove-unused-ocs-providers

Status Success

Total duration 6m 29s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary