Skip to content

Update index.html #1029

Update index.html

Update index.html #1029

Workflow file for this run

name: pr_comment
on:
pull_request:
types: [opened]
jobs:
pr_comment:
runs-on: ubuntu-latest
steps:
- name: Create PR comment
if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this is a pull request build AND the pull request is NOT made from a fork
uses: thollander/actions-comment-pull-request@fabd468d3a1a0b97feee5f6b9e499eab0dd903f6
with:
message: 'Once the build has completed, you can preview your PR at this URL: https://julialang.netlify.app/previews/PR${{ github.event.number }}/ in ~15 minutes'
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}