Skip to content
Lint php

feat(theming): use translucent color for text selection #50334

Sign in to view logs

feat(theming): use translucent color for text selection

feat(theming): use translucent color for text selection #50334

Triggered via pull request March 17, 2026 18:07
@mejo-mejo-
synchronize #58834
feat/translucent_selection_color
Status Success
Total duration 4m 13s
Artifacts –

lint-php.yml

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

Annotations

2 warnings
php-lint (8.2)
Back off 24.919 seconds before retry.
php-lint (8.2)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/de0fac2e4500dabe0009e67214ff5f5447ce83dd'. Error: Resource temporarily unavailable (codeload.github.com:443)