Skip to content
Lint php

[stable27] Default to source if fileid is undefined #2631

Sign in to view logs

[stable27] Default to source if fileid is undefined

[stable27] Default to source if fileid is undefined #2631

Triggered via pull request August 8, 2023 16:32
@juliusknorrjuliusknorr
opened #1848
backport/1806/stable27
Status Success
Total duration 1m 2s
Artifacts –

lint-php.yml

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