Code

Update dependency: deps/k_release#4085

Code

Merged

automergerpr-permission-manager[bot] merged 6 commits intomasterruntimeverification/haskell-backend:masterfrom _update-deps/runtimeverification/kruntimeverification/haskell-backend:_update-deps/runtimeverification/kCopy head branch name to clipboardJan 16, 2025

+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

Commits on Jan 16, 2025

• Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k

  

  devops

  committed
  f1fd29d

  Copy full SHA for f1fd29d

• deps/k_release: Set Version 7.1.199

  

  devops

  committed
  0120130

  Copy full SHA for 0120130