Skip to content
Lint php

Fix: keep local groups when there is no group mapping set up #848

Sign in to view logs

Fix: keep local groups when there is no group mapping set up

Fix: keep local groups when there is no group mapping set up #848

Triggered via pull request January 29, 2024 16:48
@blizzzblizzz
synchronize #806
fix/805/keep-local-groups
Status Failure
Total duration 30m 27s
Artifacts –

lint-php.yml

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

Annotations

6 errors
php-lint (8.0)
Canceling since a higher priority waiting request for 'lint-php-fix/805/keep-local-groups' exists
php-lint (8.1)
Canceling since a higher priority waiting request for 'lint-php-fix/805/keep-local-groups' exists
php-lint (8.2)
Canceling since a higher priority waiting request for 'lint-php-fix/805/keep-local-groups' exists
php-lint (8.3)
Canceling since a higher priority waiting request for 'lint-php-fix/805/keep-local-groups' exists
php-lint-summary
Canceling since there was an unexpected error with the concurrency group 'lint-php-fix/805/keep-local-groups'.
Lint php
GitHub Actions has encountered an internal error when running your job.