Skip to content

Allow an extra redirect when discovering feeds (#389) #1167

Allow an extra redirect when discovering feeds (#389)

Allow an extra redirect when discovering feeds (#389) #1167

Triggered via push November 18, 2024 07:47
Status Cancelled
Total duration 20s
Artifacts

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

12 errors
Lint: PHP 8.3
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 8.1
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 8.2
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.4
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.0
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.0
The operation was canceled.
Lint: PHP 8.0
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.2
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.1
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.3
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists
Lint: PHP 7.3
The operation was canceled.
Lint: PHP 5.6
Canceling since a higher priority waiting request for 'Lint-refs/heads/main' exists