Skip to content

Re-enable deployment for mirror site #37

Re-enable deployment for mirror site

Re-enable deployment for mirror site #37

Workflow file for this run

# Sample workflow for building and deploying a VitePress site to GitHub Pages
#
name: Test Building Vitepress Website
on:
push:
pull_request:
# 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:
runs-on: ubuntu-latest
steps:
# - uses: pnpm/action-setup@v3 # Uncomment this block if you're using pnpm
# with:
# version: 9 # Not needed if you've set "packageManager" in package.json
# - uses: oven-sh/setup-bun@v1 # Uncomment this if you're using Bun
- name: Prepare Vitepress
run: |
git clone https://github.com/nios-students/nios-web website
- name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0 # Not needed if lastUpdated is not enabled
path: 'website/docs/temp'
- name: Setup Node
uses: actions/setup-node@v4
with:
node-version: 20
node-version-file: 'website/package.json'
cache-dependency-path: 'website/package-lock.json'
cache: npm # or pnpm / yarn
- name: Install dependencies
run: cd website; npm ci # or pnpm install / yarn install / bun install
- name: Build with VitePress
run: |
cd website/docs
wget https://raw.githubusercontent.com/nios-students/helper_scripts/refs/heads/main/build.sh
bash build.sh SKIP_DOCS
- name: Upload artifact
if: github.ref == 'refs/heads/main' && github.event_name == 'push'
uses: actions/upload-pages-artifact@v3
with:
path: website/docs/.vitepress/dist
# Deployment job
deploy:
if: github.ref == 'refs/heads/main' && github.event_name == 'push'
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: build
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4