Skip to content
ci

chore: Rename ci-tools to ci_tools. #1584

Sign in to view logs

chore: Rename ci-tools to ci_tools.

chore: Rename ci-tools to ci_tools. #1584

Re-run triggered February 15, 2025 16:37
@iphydfiphydf
#997
iphydf:ci-tools
Status Cancelled
Total duration 8m 37s
Artifacts –

ci.yml

on: pull_request
common  /  buildifier
21s
common / buildifier
common  /  restyled
13s
common / restyled
hie-bios
1m 1s
hie-bios
docker-haskell
29s
docker-haskell
docker-test
8m 28s
docker-test
local-build
4m 46s
local-build
macos
3m 15s
macos
mypy
7s
mypy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
docker-test
Canceling since a higher priority waiting request for 'build-997' exists
docker-test
The operation was canceled.