chore: Rename ci-tools to ci_tools. #1586
Triggered via pull request
February 15, 2025 16:48
iphydf
Status
Cancelled
Total duration
22m 30s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
25s
common
/
restyled
15s
hie-bios
51s
docker-haskell
52s
docker-test
22m 1s
local-build
4m 14s
macos
3m 24s
mypy
5s
Annotations
2 errors
|
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
|
|
docker-test
The operation was canceled.
|