Update dependency: deps/k_release #10541

Sign in to view logs

Re-run triggered October 12, 2024 03:41

#2643

_update-deps/runtimeverification/k

Status Success

Total duration 29m 39s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Matrix: test-prove

Annotations

5 errors and 1 warning

Conformance Tests

RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: CANCEL (err 8)

Conformance Tests

10 bytes of body are still expected

Conformance Tests

early EOF

Conformance Tests

fetch-pack: invalid index-pack output

Conformance Tests

clone of 'https://github.com/weidai11/cryptopp' into submodule path '/home/github-runner/actions-runner/_work/evm-semantics/evm-semantics/kevm-pyk/src/kevm_pyk/kproj/plugin/deps/cryptopp' failed

Nix (macos-13)

No push credentials found. Ignoring the 'useDaemon' option.