Code

Fix typo in README#4550

Code

Merged

rv-jenkins merged 3 commits intoruntimeverification:developruntimeverification/k:developfrom InnovativeInventor:patch-1InnovativeInventor/k:patch-1Copy head branch name to clipboardJul 26, 2024

+1-1

Commits

Commits on Jul 26, 2024

• Fix typo in README

  

  InnovativeInventor

  authored and

  Baltoli

  committed
  937f827

  Copy full SHA for 937f827

• Merge branch 'develop' into patch-1

  Baltoli

  authored
  c95fd57

  Copy full SHA for c95fd57

• Merge branch 'develop' into patch-1

  rv-jenkins

  authored
  264fba0

  Copy full SHA for 264fba0