Skip to content
Lint php

Feat: Highlight cards with important labels #4451

Sign in to view logs

Feat: Highlight cards with important labels

Feat: Highlight cards with important labels #4451

Triggered via pull request September 7, 2025 15:39
@KocKoc
synchronize #7218
feature/add-important-flag
Status Cancelled
Total duration 49s
Artifacts –

lint-php.yml

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

Annotations

5 errors
php-lint (8.2)
Canceling since a higher priority waiting request for lint-php-feature/add-important-flag exists
php-lint (8.1)
The operation was canceled.
php-lint (8.1)
Canceling since a higher priority waiting request for lint-php-feature/add-important-flag exists
php-lint-summary
Process completed with exit code 1.
Lint php
Canceling since a higher priority waiting request for lint-php-feature/add-important-flag exists