Update dependency: deps/k_release #1749

Sign in to view logs

Triggered via pull request August 17, 2023 19:37

rv-jenkins

synchronize #349

_update-deps/runtimeverification/k

Status Failure

Total duration 51m 20s

Artifacts –

test.yml

on: pull_request

Matrix: Nix / Build

Annotations

1 error

Process completed with exit code 2.