Test

Update dependency: deps/k_release #7095

Sign in to view logs

Triggered via pull request November 14, 2025 21:22

rv-jenkins

synchronize #4131

_update-deps/runtimeverification/k

Status Success

Total duration 1h 0m 52s

Artifacts –

test.yml

on: pull_request

Formatting and Style

Nix / Integration

Stack / Unit Tests

Matrix: Nix / Unit Tests

Annotations

2 warnings

Nix / Unit Tests (self-macos-latest, self-macos-latest, aarch64-darwin)

bash 5.3.3 is already installed and up-to-date. To reinstall 5.3.3, run: brew reinstall bash

Nix / Integration

No push credentials found. Ignoring the 'useDaemon' option.