From 04a7b651ee9df4be551e7807ceb42520f024afe7 Mon Sep 17 00:00:00 2001 From: Byeonggil Jun Date: Fri, 17 Jan 2025 14:20:20 -0700 Subject: [PATCH] Bump ROS setup and install SBT --- .github/actions/setup-ros2/action.yml | 2 +- .github/workflows/c-verifier-tests.yml | 9 +++++++++ 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/actions/setup-ros2/action.yml b/.github/actions/setup-ros2/action.yml index 1e35624a7f..7a746bd8cc 100644 --- a/.github/actions/setup-ros2/action.yml +++ b/.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/setup-ros@0.7.0 + uses: ros-tooling/setup-ros@0.7.9 with: required-ros-distributions: rolling diff --git a/.github/workflows/c-verifier-tests.yml b/.github/workflows/c-verifier-tests.yml index 8e2ec09915..f72e987301 100644 --- a/.github/workflows/c-verifier-tests.yml +++ b/.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: |