Merge pull request #13 from open-rmf/yadu/jazzy

Add jazzy to default builds
open-rmf · Jun 12, 2024 · 0a45eea · 0a45eea
2 parents 6343040 + f5cf1be
commit 0a45eea
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/reusable_asan.yaml b/.github/workflows/reusable_asan.yaml
@@ -15,6 +15,8 @@ on:
             "ubuntu_distribution": "jammy"},
           {"ros_distribution": "iron",
             "ubuntu_distribution": "jammy"},
+          {"ros_distribution": "jazzy",
+           "ubuntu_distribution": "noble"},
           {"ros_distribution": "rolling",
             "ubuntu_distribution": "noble"}]
 jobs:

diff --git a/.github/workflows/reusable_build.yaml b/.github/workflows/reusable_build.yaml
@@ -19,6 +19,8 @@ on:
             "ubuntu_distribution": "jammy"},
           {"ros_distribution": "iron",
             "ubuntu_distribution": "jammy"},
+          {"ros_distribution": "jazzy",
+           "ubuntu_distribution": "noble"},
           {"ros_distribution": "rolling",
             "ubuntu_distribution": "noble"}]
 defaults: