chore: Rename ci-tools to ci_tools. #1583
Triggered via pull request
February 15, 2025 16:13
iphydf
Status
Cancelled
Total duration
2m 38s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
0s
common
/
restyled
0s
hie-bios
0s
docker-haskell
0s
docker-test
5s
local-build
10s
macos
2m 0s
mypy
0s
Annotations
11 errors
|
common / buildifier
Canceling since a higher priority waiting request for 'build-997' exists
|
|
mypy
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-haskell
Canceling since a higher priority waiting request for 'build-997' exists
|
|
hie-bios
Canceling since a higher priority waiting request for 'build-997' exists
|
|
common / restyled
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
The operation was canceled.
|
|
local-build
Canceling since a higher priority waiting request for 'build-997' exists
|
|
local-build
The operation was canceled.
|
|
macos
Canceling since a higher priority waiting request for 'build-997' exists
|
|
macos
The operation was canceled.
|