Skip to content

Enable HIDE_SYMBOLS_BY_DEFAULT + linux patches #2108

Enable HIDE_SYMBOLS_BY_DEFAULT + linux patches

Enable HIDE_SYMBOLS_BY_DEFAULT + linux patches #2108

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/[email protected]
with:
project-url: https://github.com/orgs/gazebosim/projects/7
github-token: ${{ secrets.TRIAGE_TOKEN }}