Skip to content
PR Collection Labeler

GzOdeCollisionDetector: Use static mutex in create method to avoid problems with non-thread-safe ODE functions #1930

Sign in to view logs

GzOdeCollisionDetector: Use static mutex in create method to avoid problems with non-thread-safe ODE functions

GzOdeCollisionDetector: Use static mutex in create method to avoid problems with non-thread-safe ODE functions #1930

Workflow file for this run

.github/workflows/pr-collection-labeler.yml at 0b5a2f2
name: PR Collection Labeler
on: pull_request_target
jobs:
pr_collection_labeler:
runs-on: ubuntu-latest
steps:
- name: Add collection labels
if: github.event.action == 'opened'
uses: gazebo-tooling/pr-collection-labeler@v1
with:
github-token: ${{ secrets.GITHUB_TOKEN }}