Code

Update scala-library to 2.13.12#2730

Code

Merged

shonfeder merged 2 commits intoapalache-mc:mainapalache-mc/apalache:mainfrom scala-steward:update/scala-library-2.13.12scala-steward/apalache:update/scala-library-2.13.12Copy head branch name to clipboardSep 18, 2023

+1-1

Commits

Commits on Sep 12, 2023

• Update scala-library to 2.13.12

  scala-steward

  committed
  2b0e63f

Commits on Sep 18, 2023

• Merge branch 'main' into update/scala-library-2.13.12

  

  Shon Feder

  authored
  1f11494