Code

Update dependency: deps/k_release#4085

Code

Open

rv-jenkins wants to merge 4 commits intomasterruntimeverification/haskell-backend:masterfrom _update-deps/runtimeverification/kruntimeverification/haskell-backend:_update-deps/runtimeverification/kCopy head branch name to clipboard

+1-1

Commits

Commits on Jan 7, 2025

• deps/k_release: Set Version 7.1.194

  

  devops

  committed
  e20f712

  Copy full SHA for e20f712

• deps/k_release: Set Version 7.1.195

  

  devops

  committed
  e65ca2f

  Copy full SHA for e65ca2f

• deps/k_release: Set Version 7.1.196

  

  devops

  committed
  7c95365

  Copy full SHA for 7c95365

Commits on Jan 14, 2025

• deps/k_release: Set Version 7.1.198

  

  devops

  committed
  7d9c9fb

  Copy full SHA for 7d9c9fb