Skip to content
Test

Update dependency: deps/k_release #59

Sign in to view logs

Update dependency: deps/k_release

Update dependency: deps/k_release #59

Triggered via pull request October 16, 2023 17:22
@rv-jenkinsrv-jenkins
opened #14
_update-deps/runtimeverification/k
Status Failure
Total duration 13m 49s
Artifacts –

test.yml

on: pull_request
Build and Test kmxwasm
13m 38s
Build and Test kmxwasm
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test kmxwasm
Process completed with exit code 137.