chore: Rename ci-tools to ci_tools. #1582
Triggered via pull request
February 15, 2025 16:03
iphydf
Status
Cancelled
Total duration
10m 13s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
40s
common
/
restyled
12s
hie-bios
1m 28s
docker-haskell
30s
docker-test
9m 39s
local-build
5m 35s
macos
3m 24s
mypy
8s
Annotations
3 errors
|
local-build
Process completed with exit code 3.
|
|
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
The operation was canceled.
|