From 5d57162e070ac2ac361332974ce4414326c778f5 Mon Sep 17 00:00:00 2001 From: Vladimir Ermakov Date: Sat, 9 Sep 2023 14:26:11 +0200 Subject: [PATCH] semgrep: ignore ros ci --- .github/workflows/main.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 191fb811a..5dfa5c239 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -15,6 +15,7 @@ jobs: # - {ROS_DISTRO: galactic, ROS_REPO: testing} - {ROS_DISTRO: galactic, ROS_REPO: main} - {ROS_DISTRO: humble, ROS_REPO: main} + - {ROS_DISTRO: iron, ROS_REPO: main} - {ROS_DISTRO: rolling, ROS_REPO: testing} env: CCACHE_DIR: /github/home/.ccache @@ -26,5 +27,5 @@ jobs: with: path: "${{ env.CCACHE_DIR }}" key: "ccache-${{ matrix.env.ROS_DISTRO }}-${{ matrix.env.ROS_REPO }}" - - uses: 'ros-industrial/industrial_ci@master' + - uses: 'ros-industrial/industrial_ci@master' # nosemgrep env: ${{matrix.env}}