Skip to content

Merge pull request #658 from Aerendir/dependabot/github_actions/dev/s… #1734

Merge pull request #658 from Aerendir/dependabot/github_actions/dev/s…

Merge pull request #658 from Aerendir/dependabot/github_actions/dev/s… #1734

Triggered via push November 8, 2023 04:09
Status Cancelled
Total duration 1m 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

psalm.yml

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

Annotations

10 errors
psalm (ubuntu-latest, 8.0, ~4.4)
The operation was canceled.
psalm (ubuntu-latest, 8.0, ~6.0)
Canceling since a higher priority waiting request for 'PSalm-refs/heads/dev' exists
psalm (ubuntu-latest, 8.0, ~6.0)
The operation was canceled.
psalm (ubuntu-latest, 7.4, ~5.4)
The operation was canceled.
psalm (ubuntu-latest, 8.1, ~5.4)
The operation was canceled.
psalm (ubuntu-latest, 8.1, ~6.0)
The operation was canceled.
psalm (ubuntu-latest, 7.4, ~4.4)
Canceling since a higher priority waiting request for 'PSalm-refs/heads/dev' exists
psalm (ubuntu-latest, 7.4, ~4.4)
The operation was canceled.
psalm (ubuntu-latest, 8.0, ~5.4)
The operation was canceled.
psalm (ubuntu-latest, 8.1, ~4.4)
The operation was canceled.