API

nomeata · Jan 4, 2024 · b5ea760 · b5ea760
1 parent ac22a80
commit b5ea760
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
@@ -74,11 +74,10 @@ jobs:
         uses: actions/github-script@v6
         with:
           script: |
-            await github.rest.status.create({
+            await github.rest.repos.createCommitStatus({
               owner: context.repo.owner,
               repo: context.repo.repo,
               sha: "${{ steps.workflow-info.outputs.sourceHeadSha }}",
-              name: "PR release",
               state: "success",
               description: "`${{ github.repository_owner }}/lean4-pr-releases:pr-release-${{ steps.workflow-info.outputs.pullRequestNumber }}`",
             });