diff --git a/.github/scripts/publish_report.sh b/.github/scripts/publish_report.sh new file mode 100644 index 0000000..f1df49f --- /dev/null +++ b/.github/scripts/publish_report.sh @@ -0,0 +1,22 @@ +curl -X POST $1 \ +-H 'Content-Type: application/json; charset=utf-8' \ +--data @- <> $GITHUB_STEP_SUMMARY +