Bump ROS setup and install SBT

.github/actions/setup-ros2/action.yml

@@ -9,6 +9,6 @@ runs:
      # see https://github.com/ros-tooling/setup-ros/issues/80 and https://github.com/ros2/rmw_cyclonedds/pull/134
      run: sed -e 's/azure.archive.ubuntu.com/us.archive.ubuntu.com/g' -e t -e d /etc/apt/sources.list | sudo tee /etc/apt/sources.list.d/nonazure.list
    - name: Setup ROS2
-     uses: ros-tooling/[email protected].0
+     uses: ros-tooling/[email protected].9
      with:
        required-ros-distributions: rolling

.github/workflows/c-verifier-tests.yml

@@ -51,6 +51,15 @@ jobs:
           echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(pwd)/z3/bin/" >> $GITHUB_ENV
       - name: Print Z3 Version
         run: z3 --version
+      - name: Install SBT
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y default-jdk
+          echo "deb https://repo.scala-sbt.org/scalasbt/debian all main" | sudo tee /etc/apt/sources.list.d/sbt.list
+          echo "deb https://repo.scala-sbt.org/scalasbt/debian /" | sudo tee /etc/apt/sources.list.d/sbt_old.list
+          curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | sudo apt-key add
+          sudo apt-get update
+          sudo apt-get install -y sbt
       - name: Install Uclid5
         working-directory: uclid/
         run: |