fix: change router pathname #57
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# @format | |
name: GitHub Classroom Workflow | |
on: | |
push: | |
branches: | |
- main | |
jobs: | |
build: | |
name: Autograding | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: install nodejs | |
uses: actions/[email protected] | |
with: | |
node-version: '16.x' | |
- name: create env file | |
run: | | |
echo TOKEN=${{ secrets.AUTH_TOKEN }} >> spider/.env | |
echo SESSION_TOKEN=${{ secrets.SESSION_TOKEN }} >> spider/.env | |
- name: add pnpm | |
run: | | |
npm i pnpm -g | |
- name: build beta pages | |
run: | | |
cd web-beta && pnpm install --no-frozen-lockfile | |
pnpm run build | |
pnpm run export | |
mv out ../build | |
- name: GitHub Pages | |
uses: crazy-max/[email protected] | |
with: | |
target_branch: gh-pages | |
build_dir: build | |
jekyll: false | |
env: | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |