Skip to content
Lint php

fix(editor): Position outline in the margin left of editor #1148

Sign in to view logs

fix(editor): Position outline in the margin left of editor

fix(editor): Position outline in the margin left of editor #1148

Triggered via pull request December 19, 2024 10:52
@mejo-mejo-
synchronize #1615
fix/outline_position
Status Success
Total duration 2m 11s
Artifacts –

lint-php.yml

on: pull_request
matrix
10s
matrix
Matrix: php-lint
php-lint-summary
4s
php-lint-summary
Fit to window
Zoom out
Zoom in