Code

Update dependency: deps/k_release#563

Code

Merged

rv-jenkins merged 22 commits intomasterruntimeverification/wasm-semantics:masterfrom _update-deps/runtimeverification/kruntimeverification/wasm-semantics:_update-deps/runtimeverification/kCopy head branch name to clipboardJan 21, 2024

+9-9

Commits

Commits on Jan 17, 2024

• deps/k_release: Set Version 6.1.82

  

  devops

  committed
  056c6ec

• deps/k: sync submodule v6.1.82

  

  devops

  committed
  8c7e859

• deps/k_release: Set Version 6.1.83

  

  devops

  committed
  6dd03bb

• deps/k: sync submodule v6.1.83

  

  devops

  committed
  f47ba50

• pykwasm/: sync poetry files v0.1.572

  

  devops

  committed
  34be2fb

Commits on Jan 18, 2024

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

  

  devops

  committed
  352a753

• deps/k_release: Set Version 6.1.84

  

  devops

  committed
  b3eeb69

• deps/k: sync submodule v6.1.84

  

  devops

  committed
  1f54062

• pykwasm/: sync poetry files v0.1.572

  

  devops

  committed
  900ec26

• deps/k_release: Set Version 6.1.85

  

  devops

  committed
  1e94070

• deps/k: sync submodule v6.1.85

  

  devops

  committed
  df1139f

Commits on Jan 19, 2024

• deps/k_release: Set Version 6.1.86

  

  devops

  committed
  4c522a0

• deps/k: sync submodule v6.1.86

  

  devops

  committed
  a3a1eea

• deps/k_release: Set Version 6.1.87

  

  devops

  committed
  2895326

• deps/k: sync submodule v6.1.87

  

  devops

  committed
  5495413

• deps/k_release: Set Version 6.1.88

  

  devops

  committed
  e96695b

• deps/k: sync submodule v6.1.88

  

  devops

  committed
  ec94d81

• deps/k_release: Set Version 6.1.89

  

  devops

  committed
  0fc53a1

• deps/k: sync submodule v6.1.89

  

  devops

  committed
  4eaa249

• deps/k_release: Set Version 6.1.90

  

  devops

  committed
  b377b49

• deps/k: sync submodule v6.1.90

  

  devops

  committed
  715971b

Commits on Jan 21, 2024

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

  rv-jenkins

  authored
  c41ade8