From f4658d90ba7d522a40bc660d5f64db1898f6b537 Mon Sep 17 00:00:00 2001 From: Christian Henkel Date: Fri, 10 Jan 2025 11:08:25 +0100 Subject: [PATCH] Switching to jazzy Signed-off-by: Christian Henkel --- .github/workflows/deploy.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index fd6d8f50..d9c15f61 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -24,16 +24,16 @@ jobs: - name: Set up ROS uses: ros-tooling/setup-ros@v0.7 with: - required-ros-distributions: humble + required-ros-distributions: jazzy # Install packages - name: Install our packages run: | - source /opt/ros/humble/setup.bash + source /opt/ros/jazzy/setup.bash pip install . # build the documentation - name: Build documentation run: | - source /opt/ros/humble/setup.bash + source /opt/ros/jazzy/setup.bash cd docs make html # upload the documentation to GitHub Pages