Skip to content
Lint php

fix(dav): avoid TypeError on public DAV HEAD range #1350

Sign in to view logs

fix(dav): avoid TypeError on public DAV HEAD range

fix(dav): avoid TypeError on public DAV HEAD range #1350

Re-run triggered December 21, 2025 11:33
@solracsfsolracsf
#2241
hubimuc:fix/dav-head-range
Status Success
Total duration 4m 24s
Artifacts –

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
6s
php-lint-summary
Fit to window
Zoom out
Zoom in