Code

fixing sbt in the CI#3048

Code

Merged

konnov merged 6 commits intomainapalache-mc/apalache:mainfrom igor/fix-buildapalache-mc/apalache:igor/fix-buildCopy head branch name to clipboardDec 16, 2024

+12-1

Commits

Commits on Dec 16, 2024

• fixing sbt?

  konnov

  committed
  c5275d6

• install sbt

  konnov

  committed
  61473a1

• fix sbt again?

  konnov

  committed
  8448c84

• add explicit uses for the new ubuntu image

  konnov

  committed
  b45605e

• s/apps: sbt/apps: sbtn/

  konnov

  committed
  92d259c

• fix sbt in docker-tests

  konnov

  committed
  4406c88