diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2022-04-30 19:20:03 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-01 05:58:22 -0400 |
| commit | 9d6099f8b4b3f5b53bccb5a11b22274429d99f02 (patch) | |
| tree | 0a48171c25244e8b0d11926365584666d13692a3 | |
| parent | d70ac90a07fc641947a987e6c7be4e8d395ac54c (diff) | |
| download | python-coveragepy-git-9d6099f8b4b3f5b53bccb5a11b22274429d99f02.tar.gz | |
build: sparse-checkout changed, change with it
I don't understand this command. --skip-check isn't mentioned in the
help, and doesn't sound like the right semantics anyway. Without it,
the error is:
fatal: specify directories rather than patterns (no leading slash)
or:
fatal: specify directories rather than patterns. If your directory starts with a '!', pass --skip-checks
| -rw-r--r-- | .github/workflows/coverage.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 83484704..bbb7d4a1 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -147,7 +147,7 @@ jobs: git clone --depth=1 --no-checkout https://${{ secrets.COVERAGE_REPORTS_TOKEN }}@github.com/nedbat/coverage-reports reports_repo cd reports_repo git sparse-checkout init --cone - git sparse-checkout set '/*' '!/reports' + git sparse-checkout set --skip-checks '/*' '!/reports' git config user.name nedbat git config user.email ned@nedbatchelder.com git checkout main @@ -198,7 +198,7 @@ jobs: echo "${{ env.sha10 }}: ${{ env.branch }}" >> commit.txt # Commit. cd ./reports_repo - git sparse-checkout set '/*' '${{ env.report_dir }}' + git sparse-checkout set --skip-checks '/*' '${{ env.report_dir }}' rm ${{ env.report_dir }}/.gitignore git add ${{ env.report_dir }} latest.html git commit --file=../commit.txt |