Test PR

Update dependency: deps/k_release #11152

Sign in to view logs

Triggered via pull request May 21, 2025 16:17

rv-jenkins

synchronize #2764

_update-deps/runtimeverification/k

Status Failure

Total duration 54m 32s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Matrix: test-prove

Annotations

3 errors

Nix (ARM64)

Process completed with exit code 1.

Proofs: DSS

The operation was canceled.

Proofs: DSS

The job has exceeded the maximum execution time of 45m0s