Lint php

collabora: allow to configure additional options #4280

Sign in to view logs

Triggered via pull request February 26, 2025 12:39

szaimen

synchronize #6085

enh/noid/collabora-additional-options

Status Success

Total duration 35s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary