Update dependency: deps/k_release #4959

Sign in to view logs

Triggered via pull request July 26, 2023 17:33

rv-jenkins

synchronize #3627

_update-deps/runtimeverification/k

Status Success

Total duration 1h 30m 18s

Artifacts –

test.yml

on: pull_request

Auto-formatting

Matrix: Nix / Unit Tests

Cabal / Unit Tests

Stack / Unit Tests

Stack / Haddock check

Nix / Integration