Skip to content

v6.10.0

v6.10.0 #22

Triggered via push December 12, 2024 11:19
Status Cancelled
Total duration 2m 58s
Artifacts
Matrix: server_build
Matrix: server_lint
Matrix: clients_TypeScript
Matrix: docker_combined
Matrix: clients_TypeScript_npm
Matrix: clients_TypeScript_repl
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 2 notices
server_build (linux, x86_64, ghc94, 54ea65610338600bd4c4afd04b0b6ff612988fd4)
No push credentials found. Ignoring the 'useDaemon' option.
server_build (linux, x86_64, ghc94, 54ea65610338600bd4c4afd04b0b6ff612988fd4)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc948-static-minimal-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc948-static-minimal-iog`
server_build (linux, x86_64, ghc94, 54ea65610338600bd4c4afd04b0b6ff612988fd4)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc948-static-minimal-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc948-static-minimal-iog`