Skip to content

Update idp

Update idp #125

Workflow file for this run

# This workflow uses actions that are not certified by GitHub.
# They are provided by a third-party and are governed by
# separate terms of service, privacy policy, and support
# documentation.
# Sample workflow for building and deploying a Jekyll site to GitHub Pages
name: Deploy Jekyll site to Pages
on:
push:
branches: ["main"]
# 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 one concurrent deployment
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
# Build job
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Setup Ruby
uses: ruby/setup-ruby@v1
with:
ruby-version: '3.3' # Not needed with a .ruby-version file
bundler-cache: true # runs 'bundle install' and caches installed gems automatically
cache-version: 0 # Increment this number if you need to re-download cached gems
- name: Setup Pages
id: pages
uses: actions/configure-pages@v5
- name: Build with Jekyll
# Outputs to the './_site' directory by default
run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
env:
JEKYLL_ENV: production
# --- JUPYTERLITE BUILD (direct to _site/lite) ---
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: "3.x"
- name: Install JupyterLite + Pyodide kernel
run: |
python -m pip install -U pip
pip install jupyterlite jupyterlite-pyodide-kernel jupyter_server
# (Optional) Pre-bundle wheels for offline installs (e.g., seaborn)
- name: Download wheels (optional)
run: |
mkdir -p wheels
pip download --only-binary=:all: -d wheels seaborn==0.13.2
- name: Build JupyterLite directly into _site/lite
run: |
rm -rf _site/lite
jupyter lite build --config external/cse163/jupyter_lite_config.json --contents external/cse163 --output-dir _site/lite --base-url lite/ $( [ -d wheels ] && echo --piplite-wheels "wheels/*.whl" )
# sanity check
test -f _site/lite/jupyter-lite.json
- name: Add .nojekyll at artifact root
run: touch _site/.nojekyll
# --- end JUPYTERLITE BUILD ---
# --- MyST BUILD ---
- name: Install MyST
run: npm install -g mystmd
- name: Build MyST (static HTML)
working-directory: external/cse163
env:
BASE_URL: /notes
run: myst build --html
- name: Merge MyST into Jekyll artifact
run: |
mkdir -p _site/notes
rsync -a external/cse163/_build/html/ _site/notes/
touch _site/.nojekyll
# --- end MyST ---
- name: Upload artifact
# Automatically uploads an artifact from the './_site' directory by default
uses: actions/upload-pages-artifact@v3
# 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