chore: Rename ci-tools to ci_tools. #1581
Triggered via pull request
February 15, 2025 16:03
iphydf
Status
Cancelled
Total duration
1m 0s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
21s
common
/
restyled
14s
hie-bios
33s
docker-haskell
25s
docker-test
47s
local-build
44s
macos
34s
mypy
6s
Annotations
8 errors
|
hie-bios
Canceling since a higher priority waiting request for 'build-997' exists
|
|
hie-bios
The operation was canceled.
|
|
macos
Canceling since a higher priority waiting request for 'build-997' exists
|
|
macos
The operation was canceled.
|
|
local-build
Canceling since a higher priority waiting request for 'build-997' exists
|
|
local-build
The operation was canceled.
|
|
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
The operation was canceled.
|