Fixes by format action#67

github-actions[bot] wants to merge 6 commits intoquentin/fix-missing-procedure-idtofupilot/examples:quentin/fix-missing-procedure-idfrom

python-code-format-patchestofupilot/examples:python-code-format-patchesCopy head branch name to clipboard