Skip to content

Fix dol_dir_list_in_database to use filters for db #132

Fix dol_dir_list_in_database to use filters for db

Fix dol_dir_list_in_database to use filters for db #132

Triggered via pull request November 15, 2024 13:12
Status Cancelled
Total duration 13s
Artifacts

ci-on-pull_request.yml

on: pull_request
pre-commit  /  pre-commit
4s
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
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-PULL-REQUEST-refs/pull/31835/merge' exists
pre-commit / pre-commit
The operation was canceled.