mirror of
https://github.com/github/awesome-copilot.git
synced 2026-03-12 12:15:12 +00:00
80 lines
2.1 KiB
YAML
80 lines
2.1 KiB
YAML
# GitHub Pages deployment workflow
|
|
# Builds the Astro website and deploys to GitHub Pages
|
|
|
|
name: Deploy Website to GitHub Pages
|
|
|
|
on:
|
|
# Runs after the Publish to main workflow completes successfully.
|
|
# Note: pushes made by GITHUB_TOKEN do not trigger push-based workflows,
|
|
# so workflow_run is required to chain off the publish workflow.
|
|
workflow_run:
|
|
workflows: ["Publish to main"]
|
|
types:
|
|
- completed
|
|
|
|
# Allows you to run this workflow manually from the Actions tab
|
|
workflow_dispatch:
|
|
|
|
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
|
|
permissions:
|
|
contents: read
|
|
pages: write
|
|
id-token: write
|
|
|
|
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
|
|
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
|
|
concurrency:
|
|
group: "pages"
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
# Build job
|
|
build:
|
|
if: ${{ github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success' }}
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v4
|
|
with:
|
|
fetch-depth: 0 # Full history needed for git-based last updated dates
|
|
|
|
- name: Setup Node.js
|
|
uses: actions/setup-node@v4
|
|
with:
|
|
node-version: "20"
|
|
cache: "npm"
|
|
|
|
- name: Install root dependencies
|
|
run: npm ci
|
|
|
|
- name: Install website dependencies
|
|
run: npm ci
|
|
working-directory: ./website
|
|
|
|
- name: Generate website data
|
|
run: npm run website:data
|
|
|
|
- name: Build Astro site
|
|
run: npm run build
|
|
working-directory: ./website
|
|
|
|
- name: Setup Pages
|
|
uses: actions/configure-pages@v5
|
|
|
|
- name: Upload artifact
|
|
uses: actions/upload-pages-artifact@v3
|
|
with:
|
|
path: "./website/dist"
|
|
|
|
# Deployment job
|
|
deploy:
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
runs-on: ubuntu-latest
|
|
needs: build
|
|
steps:
|
|
- name: Deploy to GitHub Pages
|
|
id: deployment
|
|
uses: actions/deploy-pages@v4
|