papermario/.github/workflows/coverage.yaml