[sr-dev] git:master:f1f73cc2: github/workflow: add gcc-problem-patcher [skip ci]