mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-08-06 14:19:52 +08:00
05ebf40543
Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
87 lines
2.6 KiB
YAML
87 lines
2.6 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@v4
|
|
- 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@v3
|
|
- name: Install Linux Dependencies
|
|
run: |
|
|
sudo apt-get update
|
|
sudo apt-get install libcairo2-dev libpango1.0-dev ffmpeg freeglut3-dev
|
|
- name: Setup Pandoc
|
|
uses: nikeee/setup-pandoc@v1
|
|
- name: Install local Python package
|
|
run: poetry install --with docs
|
|
- name: Install IPython kernel
|
|
run: poetry run ipython kernel install --name "manim-slides" --user
|
|
- name: Restore cached media
|
|
id: cache-media-restore
|
|
uses: actions/cache/restore@v3
|
|
with:
|
|
path: docs/media
|
|
key: ${{ runner.os }}-docs-media
|
|
- 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: docs/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@v2
|
|
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@v2
|