Skip to content

chore: Rename ci-tools to ci_tools. #573

chore: Rename ci-tools to ci_tools.

chore: Rename ci-tools to ci_tools. #573

Triggered via push February 15, 2025 17:59
Status Success
Total duration 20m 22s
Artifacts

docker.yml

on: push
docker-third_party
26s
docker-third_party
docker-haskell
57s
docker-haskell
docker-fastbuild
6m 0s
docker-fastbuild
Matrix: docker-built
Fit to window
Zoom out
Zoom in