Skip to content

Fix duplicate topic name checking in Node #420

Fix duplicate topic name checking in Node

Fix duplicate topic name checking in Node #420

Workflow file for this run

on:
issues:
types: [opened]
pull_request_target:
types: [opened]
name: Ticket opened
jobs:
assign:
name: Add ticket to inbox
runs-on: ubuntu-latest
steps:
- name: Add ticket to inbox
uses: actions/add-to-project@v0.5.0
with:
project-url: https://github.com/orgs/gazebosim/projects/7
github-token: ${{ secrets.TRIAGE_TOKEN }}