Back to pull request #716

Update dependency: deps/k_release #2591

Sign in to view logs

Triggered via pull request January 7, 2025 18:24

rv-jenkins

synchronize #716

_update-deps/runtimeverification/k

Status Failure

Total duration 6m 24s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Annotations

4 errors and 1 warning

Prover Tests

Process completed with exit code 2.

Nix (ARM64)

Process completed with exit code 1.

Nix (normal)

Process completed with exit code 1.

Conformance Tests

Process completed with exit code 2.

Code Quality Checks

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636