Merge pull request #3809 from TIM-JYU/fix-chromium-editor-shortcut #3803
format.yml
on: push
skip_check
3s
Check Python formatting
25s
Check TypeScript formatting
0s