mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-08-06 14:19:52 +08:00
93 lines
3.0 KiB
YAML
93 lines
3.0 KiB
YAML
# Simple workflow for deploying static content to GitHub Pages
|
|
name: Deploy static content to Pages
|
|
|
|
on:
|
|
# Runs on pushes targeting the default branch
|
|
push:
|
|
branches: [main]
|
|
|
|
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 one concurrent deployment
|
|
concurrency:
|
|
group: pages
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
# Single deploy job since we're just deploying
|
|
deploy:
|
|
permissions: write-all
|
|
environment:
|
|
name: github-pages
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v3
|
|
- name: Install Poetry
|
|
run: pipx install poetry
|
|
- name: Install Python
|
|
uses: actions/setup-python@v4
|
|
with:
|
|
python-version: '3.9'
|
|
cache: poetry
|
|
- name: Setup Pages
|
|
uses: actions/configure-pages@v2
|
|
- name: Install Linux Dependencies
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt-get install libcairo2-dev libpango1.0-dev ffmpeg freeglut3-dev
|
|
- name: Install local Python package
|
|
run: poetry install --extras=manim --with docs
|
|
- name: Restore cached media
|
|
id: cache-media-restore
|
|
uses: actions/cache/restore@v3
|
|
with:
|
|
path: media
|
|
key: ${{ runner.os }}-media
|
|
- name: Build animations
|
|
run: |
|
|
poetry run manim example.py ConvertExample BasicExample ThreeDExample
|
|
- name: Convert animations to HTML slides
|
|
run: |
|
|
poetry run manim-slides convert -v DEBUG ConvertExample docs/source/_static/slides.html -ccontrols=true
|
|
poetry run manim-slides convert -v DEBUG BasicExample docs/source/_static/basic_example.html -ccontrols=true
|
|
poetry run manim-slides convert -v DEBUG ThreeDExample docs/source/_static/three_d_example.html -ccontrols=true
|
|
- name: Show docs/source/_static/ dir content (video only)
|
|
run: tree -L 3 docs/source/_static/ -P '*.mp4'
|
|
- name: Clear cache
|
|
run: |
|
|
gh extension install actions/gh-actions-cache
|
|
gh actions-cache delete ${{ steps.cache-media-restore.outputs.cache-primary-key }} --confirm || true
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
- name: Save media to cache
|
|
id: cache-media-save
|
|
uses: actions/cache/save@v3
|
|
with:
|
|
path: media
|
|
key: ${{ steps.cache-media-restore.outputs.cache-primary-key }}
|
|
- name: Build docs
|
|
run: cd docs && poetry run make html
|
|
- name: Upload artifact
|
|
if: github.event_name != 'pull_request'
|
|
uses: actions/upload-pages-artifact@v1
|
|
with:
|
|
# Upload docs/build/html dir
|
|
path: docs/build/html/
|
|
- name: Show docs/build/html/_static/ dir content (video only)
|
|
run: tree -L 3 docs/build/html/_static/ -P '*.mp4'
|
|
- name: Deploy to GitHub Pages
|
|
id: deployment
|
|
if: github.event_name != 'pull_request'
|
|
uses: actions/deploy-pages@v1
|