Skip to content

add lecture

add lecture #115

Workflow file for this run

name: Deploy to GitHub Pages
on:
push:
branches:
- main # Adjust this to the branch you want to deploy from
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup Node.js
uses: actions/setup-node@v2
with:
node-version: '14' # Adjust this to the version of Node.js you need
- name: Install dependencies
run: |
npm install # Adjust this if you use a different package manager
- name: Build the site
run: |
npm run build # Adjust this to your build script
- name: Upload build files
uses: actions/upload-artifact@v4
with:
name: github-pages
path: build/ # Adjust this to your output directory
deploy:
runs-on: ubuntu-latest
needs: build
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Download build files
uses: actions/download-artifact@v4
with:
name: github-pages
path: ./build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./build # Adjust this to the directory with your built files