chore: Rename ci-tools to ci_tools. #1587
Triggered via pull request
February 15, 2025 17:10
iphydf
Status
Success
Total duration
43m 14s
Artifacts
–
ci.yml
on: pull_request
common
/
buildifier
25s
common
/
restyled
15s
hie-bios
1m 0s
docker-haskell
30s
docker-test
42m 6s
local-build
2m 58s
macos
3m 10s
mypy
8s