Merge branch 'master' of github.com:introlab/rtabmap_ros into ros2

2026-10-04 08:47:45 +08:00 · 2026-08-06 14:59:13 -07:00
parent 2eef2b3231 38b45dca16
commit 48d1ed1204
6 changed files with 23 additions and 5 deletions
@@ -4,9 +4,13 @@ on:
  push:
    branches:
      - 'master'
+  workflow_dispatch:

 jobs:
  docker:
+    # Built and pushed only from master (push or manual dispatch), since it
+    # pushes the introlab3it/rtabmap_ros tags to Docker Hub.
+    if: github.ref == 'refs/heads/master'
    runs-on: ubuntu-latest
    
    strategy: