chore: rename project from postgrestools to postgres-language-server #927
Triggered via pull request
September 24, 2025 06:21
psteinroe
Status
Cancelled
Total duration
5m 46s
Artifacts
–
pull_request.yml
on: pull_request
Format
5m 25s
Lint GitHub Actions
4s
Lint Project
5m 26s
Test JS Packages
55s
Check Codegen
5m 38s
Matrix: Test
Annotations
14 errors
|
Test JS Packages
Process completed with exit code 101.
|
|
Format
The operation was canceled.
|
|
Format
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Test (windows-2022)
The operation was canceled.
|
|
Test (windows-2022)
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Lint Project
The operation was canceled.
|
|
Lint Project
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Test (ubuntu-22.04)
The operation was canceled.
|
|
Test (ubuntu-22.04)
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Check Codegen
The operation was canceled.
|
|
Check Codegen
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Test (macos-14)
The operation was canceled.
|
|
Test (macos-14)
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|
|
Pull Request
Canceling since a higher priority waiting request for Pull Request-pull_request-refs/pull/535/merge exists
|