Run Tests

Update dependency: deps/k_release #2602

Sign in to view logs

Triggered via pull request January 20, 2025 09:53

rv-jenkins

synchronize #716

_update-deps/runtimeverification/k

Status Failure

Total duration 10m 27s

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.

Prover Tests

Process completed with exit code 2.

Conformance Tests

Process completed with exit code 2.

Nix (normal)

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