Skip to content
Lint php

Add missing div id (fixes CSS lack) #678

Sign in to view logs

Add missing div id (fixes CSS lack)

Add missing div id (fixes CSS lack) #678

Triggered via pull request August 20, 2024 06:50
@Jerome-HerbinetJerome-Herbinet
synchronize #1227
Jerome-Herbinet-add-missing-div-id
Status Cancelled
Total duration 1m 3s
Artifacts –

lint-php.yml

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

Annotations

7 errors
php-lint (8.2)
Canceling since a higher priority waiting request for 'lint-php-Jerome-Herbinet-add-missing-div-id' exists
php-lint (8.2)
The operation was canceled.
php-lint (8.1)
Canceling since a higher priority waiting request for 'lint-php-Jerome-Herbinet-add-missing-div-id' exists
php-lint (8.1)
The operation was canceled.
php-lint (8.3)
Canceling since a higher priority waiting request for 'lint-php-Jerome-Herbinet-add-missing-div-id' exists
php-lint (8.3)
The operation was canceled.
php-lint-summary
Process completed with exit code 1.