Code

Update scalacheck to 1.17.1#2888

Code

Merged

konnov merged 3 commits intoapalache-mc:mainapalache-mc/apalache:mainfrom scala-steward:update/scalacheck-1.17.1scala-steward/apalache:update/scalacheck-1.17.1Copy head branch name to clipboardAug 15, 2024

+1-1

Commits

Commits on Aug 13, 2024

• Update scalacheck to 1.17.1

  scala-steward

  committed
  be0ce71

  Copy full SHA for be0ce71

Commits on Aug 14, 2024

• Merge branch 'main' into update/scalacheck-1.17.1

  konnov

  authored
  b31d5cb

  Copy full SHA for b31d5cb

• Merge branch 'main' into update/scalacheck-1.17.1

  coffeeinprogress

  authored
  6dedf7f

  Copy full SHA for 6dedf7f