chore: Rename ci-tools to ci_tools. #1585
Triggered via pull request
February 15, 2025 16:46
iphydf
Status
Cancelled
Total duration
2m 18s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
20s
common
/
restyled
14s
hie-bios
1m 18s
docker-haskell
39s
docker-test
1m 36s
local-build
1m 12s
macos
1m 13s
mypy
8s
Annotations
8 errors
|
hie-bios
Canceling since a higher priority waiting request for 'build-997' exists
|
|
hie-bios
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.
|
|
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
The operation was canceled.
|