Code

Fix printing of the options#2371

Code

Merged

jcarpent merged 1 commit intostack-of-tasks:develstack-of-tasks/pinocchio:develfrom jcarpent:topic/cijcarpent/pinocchio:topic/ciCopy head branch name to clipboardAug 13, 2024

+9-9

Commits

Commits on Aug 13, 2024

• ci/labels: fix printing of the options

  jcarpent

  committed
  aeef6cb

  Copy full SHA for aeef6cb