Updating versions

Author: abrighton

.github/workflows/integration.yml

@@ -21,8 +21,7 @@ jobs:
       - uses: coursier/setup-action@v1.2.0
         with:
           jvm: temurin:1.21
-          apps: sbt sbtn
-      - uses: coursier/cache-action@v6.3
+          apps: sbt
 
       - name: Install Redis
         run: sudo apt-get install redis-server
@@ -37,8 +36,8 @@ jobs:
       - name: Build
         working-directory: integration
         run: |
-          sbtn clean
-          sbtn scalafmtCheck
+          sbt clean
+          sbt scalafmtCheck
 
       - name: Check port
         run: |

.github/workflows/iris.yml

@@ -18,8 +18,7 @@ jobs:
       - uses: coursier/setup-action@v1.2.0
         with:
           jvm: temurin:1.21
-          apps: sbt sbtn
-      - uses: coursier/cache-action@v6.3
+          apps: sbt
 
       - name: Install Redis
         run: sudo apt-get install redis-server
@@ -34,8 +33,8 @@ jobs:
       - name: Build
         working-directory: iris
         run: |
-          sbtn clean
-          sbtn scalafmtCheck
+          sbt clean
+          sbt scalafmtCheck
 
       - name: Tests
         working-directory: iris

.github/workflows/release.yml

@@ -18,7 +18,6 @@ jobs:
         with:
           jvm: temurin:1.21
           apps: sbt sbtn
-      - uses: coursier/cache-action@v6.3
       - uses: actions/setup-node@v4
         with:
           node-version: "22.14.0"

.github/workflows/wfos.yml

@@ -18,8 +18,7 @@ jobs:
       - uses: coursier/setup-action@v1.2.0
         with:
           jvm: temurin:1.21
-          apps: sbt sbtn
-      - uses: coursier/cache-action@v6.3
+          apps: sbt
 
       - name: Install Redis
         run: sudo apt-get install redis-server
@@ -34,8 +33,8 @@ jobs:
       - name: Build
         working-directory: wfos
         run: |
-          sbtn clean
-          sbtn scalafmtCheck
+          sbt clean
+          sbt scalafmtCheck
 
       - name: Tests
         working-directory: wfos

integration/project/Common.scala

@@ -33,7 +33,7 @@ object Common extends AutoPlugin {
     Compile / doc / javacOptions ++= Seq("-Xdoclint:none"),
     Test / testOptions ++= reporterOptions,
     resolvers += "jitpack" at "https://jitpack.io",
-    version := "0.3.0",
+    version := "0.4.0",
     fork := true,
     Test / parallelExecution := false,
     autoCompilerPlugins := true,

iris/project/Common.scala

@@ -35,7 +35,7 @@ object Common extends AutoPlugin {
     Compile / doc / javacOptions ++= Seq("-Xdoclint:none"),
     Test / testOptions ++= reporterOptions,
     resolvers += "jitpack" at "https://jitpack.io",
-    version := "0.3.0",
+    version := "0.4.0",
     fork := true,
     Test / parallelExecution := false,
     autoCompilerPlugins := true,

simulation-scripts/install-tcs-assemblies.sh

@@ -8,10 +8,10 @@ if [[ "$OSTYPE" == "darwin"* ]]; then
 elif [ "$USER" == "jenkins" ]; then
   # this zip is used when we run tcs assembly on BTE
 #  V_SLICE_ZIP="https://github.com/tmtsoftware/tcs-vslice-0.4/releases/download/v$version/tcs-vslice-$version-CentOS-7.zip"
-  V_SLICE_ZIP="https://github.com/tmtsoftware/tcs-vslice-0.4/releases/download/v$version/tcs-vslice-$version-Ubuntu-20.04.zip"
+  V_SLICE_ZIP="https://github.com/tmtsoftware/tcs-vslice-0.4/releases/download/v$version/tcs-vslice-$version-Ubuntu-22.04.zip"
 else
   # this zip is used when we run tcs assembly on ubuntu
-  V_SLICE_ZIP="https://github.com/tmtsoftware/tcs-vslice-0.4/releases/download/v$version/tcs-vslice-$version-Ubuntu-20.04.zip"
+  V_SLICE_ZIP="https://github.com/tmtsoftware/tcs-vslice-0.4/releases/download/v$version/tcs-vslice-$version-Ubuntu-22.04.zip"
 fi
 
 TCS_VSLICE="$HOME/tcs-vslice-04"

wfos/project/Common.scala

@@ -36,7 +36,7 @@ object Common extends AutoPlugin {
     Compile / doc / javacOptions ++= Seq("-Xdoclint:none"),
     Test / testOptions ++= reporterOptions,
     resolvers += "jitpack" at "https://jitpack.io",
-    version := "0.3.0",
+    version := "0.4.0",
     fork := true,
     Test / parallelExecution := false,
     autoCompilerPlugins := true,