Update dependency: deps/k_release · runtimeverification/haskell-backend@c3fcc87

Triggered via pull request September 18, 2025 05:50

rv-jenkins

opened #4126

Status Success

Total duration 1h 22m 31s

Artifacts –

test.yml

on: pull_request

Matrix: Nix / Unit Tests

2 warnings

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

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