syntax

nomeata · Jan 4, 2024 · 552f50b · 552f50b
1 parent 15da7e0
commit 552f50b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml
@@ -80,11 +80,11 @@ jobs:
               head_sha: "${{ steps.workflow-info.outputs.sourceHeadSha }}",
               name: "PR release",
               status: "completed",
-              conclusion: "toolchain $${ github.repository_owner }}/lean4-pr-releases:pr-release-${{ steps.workflow-info.outputs.pullRequestNumber }}"
+              conclusion: "toolchain ${{ github.repository_owner }}/lean4-pr-releases:pr-release-${{ steps.workflow-info.outputs.pullRequestNumber }}",
               // details_url: process.env.parameter_url,
               output: {
                 title: "PR release",
-                summary: "PR toolchain successfully created/update\nUse toolchain `$${ github.repository_owner }}/lean4-pr-releases:pr-release-${{ steps.workflow-info.outputs.pullRequestNumber }}`",
+                summary: "PR toolchain successfully created/update\nUse toolchain `${{ github.repository_owner }}/lean4-pr-releases:pr-release-${{ steps.workflow-info.outputs.pullRequestNumber }}`",
                 // text: "my text",
               },
             });