Lint php

Implement direct editing API #2013

Sign in to view logs

Triggered via pull request August 29, 2024 12:34

juliusknorr

synchronize #2405

enh/direct_editing

Status Success

Total duration 19m 58s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary