CI: publish perf and coverage metrics as a sticky PR comment#105

typeless merged 4 commits into

maintypeless/putup:mainfrom

ci/pr-metricstypeless/putup:ci/pr-metricsCopy head branch name to clipboard