From 95f962b5174d492416b7b4ad4d068bba080c93f9 Mon Sep 17 00:00:00 2001 From: pit-ray Date: Sun, 8 Oct 2023 17:23:18 +0900 Subject: [PATCH] use curl.exe instead of curl --- .github/workflows/coverity.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 1f666214..4d9a9f25 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -82,4 +82,10 @@ jobs: run: echo "::set-output name=sha_short::$(git rev-parse --short HEAD)" - name: Submit tarball to Coverity - run: curl --form token="${{env.TOKEN}}" --form email="${{env.EMAIL}}" --form file="@build/cov-int.tgz" --form version="${{steps.vars.outputs.sha_short}}" --form description="Automatic submission with GitHub Actions" "https://scan.coverity.com/builds?project=pit-ray%2Fwin-vind" + run: curl.exe \ + --form token="${{env.TOKEN}}" \ + --form email="${{env.EMAIL}}" \ + --form file="@build/cov-int.tgz" \ + --form version="${{steps.vars.outputs.sha_short}}" \ + --form description="Automatic submission with GitHub Actions" \ + "https://scan.coverity.com/builds?project=pit-ray%2Fwin-vind"