diff options
author | Julian Berman <Julian@GrayVines.com> | 2022-12-11 15:24:59 -0500 |
---|---|---|
committer | Julian Berman <Julian@GrayVines.com> | 2022-12-11 15:24:59 -0500 |
commit | 8516031fef16b508ec2a202090fdde78d6152671 (patch) | |
tree | c60e8b468825dbcafc25b00e85c8cf563089e738 /.github/coverage.sh | |
parent | 4e0379c1a5994a671a1331cc7dbf27c1bce3b293 (diff) | |
download | jsonschema-8516031fef16b508ec2a202090fdde78d6152671.tar.gz |
tox.ini quoting seems to have changed too.
Diffstat (limited to '.github/coverage.sh')
-rw-r--r-- | .github/coverage.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/coverage.sh b/.github/coverage.sh new file mode 100644 index 0000000..d267c96 --- /dev/null +++ b/.github/coverage.sh @@ -0,0 +1,3 @@ +set -e +printf '### Coverage\n\n' >>$GITHUB_STEP_SUMMARY +"$1" -m coverage report --format=markdown --show-missing >>$GITHUB_STEP_SUMMARY |