Run Tests

Update dependency: deps/k_release #2595

Sign in to view logs

Triggered via pull request January 14, 2025 19:14

rv-jenkins

synchronize #716

_update-deps/runtimeverification/k

Status Failure

Total duration 9m 2s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Annotations

4 errors and 1 warning

Conformance Tests

Process completed with exit code 2.

Prover Tests

Process completed with exit code 2.

Nix (normal)

Process completed with exit code 1.

Nix (ARM64)

Process completed with exit code 1.

Code Quality Checks

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