Run Tests

Update dependency: deps/k_release #2587

Sign in to view logs

Triggered via pull request January 7, 2025 13:12

rv-jenkins

synchronize #716

_update-deps/runtimeverification/k

Status Failure

Total duration 9m 29s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks

Conformance Tests

Matrix: Nix

Annotations

4 errors and 1 warning

Nix (ARM64)

Process completed with exit code 1.

Nix (normal)

Process completed with exit code 1.

Prover Tests

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