From f968c47da1fae5b2607500c54ebe7b30d13865a0 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Thu, 3 Oct 2024 21:19:37 +0200 Subject: [PATCH] Update TryThisPR.yml --- .github/workflows/TryThisPR.yml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/.github/workflows/TryThisPR.yml b/.github/workflows/TryThisPR.yml index ef6a2dedd7..62cfecf04e 100644 --- a/.github/workflows/TryThisPR.yml +++ b/.github/workflows/TryThisPR.yml @@ -9,15 +9,10 @@ jobs: runs-on: ubuntu-latest continue-on-error: true steps: - - uses: actions/github-script@v5 + - uses: nefrob/pr-description@v1.1.2 with: - github-token: ${{secrets.GITHUB_TOKEN}} - script: | - github.rest.issues.createComment({ - issue_number: context.issue.number, - owner: context.repo.owner, - repo: context.repo.repo, - body: ` + content: | + ## Try this Pull Request! Open Julia and type: \`\`\`jl @@ -26,5 +21,5 @@ jobs: julia> Pkg.add(url="${context.payload.pull_request.head.repo.html_url}", rev="${context.payload.pull_request.head.ref}") julia> using ${context.payload.repository.name.replace(/\.jl$/,"")} \`\`\` - ` - }) + regex: "jkhsdkjhasdfkjhawkejfbawkehfkajshdfkjahsdf" + token: ${{ secrets.GITHUB_TOKEN }}