Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 1 addition & 15 deletions .github/workflows/deploy-website.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,21 +4,7 @@
name: Deploy Website to GitHub Pages

on:
# Runs on pushes targeting the default branch
push:
branches: ["main"]
paths:
- "website/**"
- "agents/**"
- "prompts/**"
- "instructions/**"
- "skills/**"
- "plugins/**"
- "cookbook/**"
- "eng/generate-website-data.mjs"
- ".github/workflows/deploy-website.yml"

# Allows you to run this workflow manually from the Actions tab
# Triggered manually from the Actions tab, or dispatched by the Publish to main workflow.
workflow_dispatch:

# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
Expand Down
6 changes: 6 additions & 0 deletions .github/workflows/publish.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ concurrency:

permissions:
contents: write
actions: write

jobs:
publish:
Expand Down Expand Up @@ -52,3 +53,8 @@ jobs:
git add -f plugins/*/agents/ plugins/*/skills/
git commit -m "chore: publish from staged" --allow-empty
git push origin HEAD:main --force

- name: Dispatch website deployment
run: gh workflow run deploy-website.yml --ref main
env:
GH_TOKEN: ${{ github.token }}