Skip to content

GitHub Classroom Workflow #3231

GitHub Classroom Workflow

GitHub Classroom Workflow #3231

Workflow file for this run

# @format
name: GitHub Classroom Workflow
on:
schedule:
- cron: '*/12 * * * *'
push:
branches:
- main
workflow_dispatch:
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: install spider pkg and run
run: |
cd spider && npm install
npm run start
- name: build pages
run: |
cd web && npm install && npm run build
mv dist ../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 }}