Skip to content

Merge pull request #32434 from Codered741/develop #567

Merge pull request #32434 from Codered741/develop

Merge pull request #32434 from Codered741/develop #567

Triggered via push December 23, 2024 23:27
Status Cancelled
Total duration 1m 8s
Artifacts

ci-on-push.yml

on: push
pre-commit  /  pre-commit
59s
pre-commit / pre-commit
Matrix: phpstan / php-stan
Waiting for pending jobs
phan  /  Run phan
phan / Run phan
gh-travis  /  gh-travis
gh-travis / gh-travis
Matrix: windows-ci / win-test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
pre-commit / pre-commit
Canceling since a higher priority waiting request for 'pre-commit-CI-PUSH-refs/heads/develop' exists
pre-commit / pre-commit
The operation was canceled.