Test PR

Update dependency: deps/k_release #264

Sign in to view logs

Triggered via pull request November 12, 2025 14:01

rv-jenkins

synchronize #58

_update-deps/runtimeverification/k

Status Failure

Total duration 5m 4s

Artifacts –

test-pr.yml

on: pull_request

Code Quality Checks & Unit Tests

Integration Tests

Matrix: Nix Tests

Annotations

1 error

Nix Tests (MacM1)

Process completed with exit code 134.