Skip to content

Add real-time search bar #4

Add real-time search bar

Add real-time search bar #4

Workflow file for this run

name: PR Preview
on:
pull_request:
types: [opened, synchronize, reopened]
permissions:
contents: write
pull-requests: write
jobs:
preview:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: ruby/setup-ruby@v1
with:
ruby-version: '3.1'
bundler-cache: true
- name: Build preview
run: bundle exec jekyll build --baseurl "/preview/pr-${{ github.event.number }}"
- name: Deploy preview to gh-pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_site
destination_dir: preview/pr-${{ github.event.number }}
- name: Post preview comment
uses: actions/github-script@v7
with:
script: |
const url = `https://mpc-deadlines.github.io/preview/pr-${{ github.event.number }}/`;
const body = `## Preview deployed\n\n🔍 **${url}**\n\n_Updates automatically on each push to this PR._`;
const { data: comments } = await github.rest.issues.listComments({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
});
const existing = comments.find(c =>
c.user.type === 'Bot' && c.body.includes('Preview deployed')
);
if (existing) {
await github.rest.issues.updateComment({
owner: context.repo.owner,
repo: context.repo.repo,
comment_id: existing.id,
body,
});
} else {
await github.rest.issues.createComment({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
body,
});
}