Use a better python problem matcher#420

eric-wieser wants to merge 1 commit into

actions:mainactions/setup-python:mainfrom

eric-wieser:patch-1eric-wieser/setup-python:patch-1Copy head branch name to clipboard