Skip to content

chore(deps): update python docker tag to v3.14 (#25) #435

chore(deps): update python docker tag to v3.14 (#25)

chore(deps): update python docker tag to v3.14 (#25) #435

name: Export Notebooks
on:
# Trigger on new releases from marimo-team/marimo
repository_dispatch:
types: [marimo-release]
# Trigger on push to main, but ignore if in generated files
push:
branches: [main]
paths-ignore:
- 'generated/**'
- 'public/**'
# Trigger nightly
schedule:
- cron: '0 0 * * *' # Run at midnight UTC
# Allow manual trigger
workflow_dispatch: {}
jobs:
export-notebooks:
runs-on: ubuntu-latest
permissions:
pull-requests: write
contents: write
steps:
- uses: actions/checkout@v6
with:
fetch-depth: 0
- name: πŸš€ Install uv
uses: astral-sh/setup-uv@v7
- name: 🐍 Set up Python
uses: actions/setup-python@v6
with:
python-version: 3.14
- name: πŸ“„ Install system dependencies (LaTeX and Pandoc)
run: |
sudo apt-get update
sudo apt-get install -y texlive-xetex texlive-fonts-recommended texlive-plain-generic pandoc
continue-on-error: true
- name: πŸ“¦ Install Python dependencies
run: |
uv sync --extra pdf
- name: πŸ“‚ Clone marimo examples
run: |
git clone --depth 1 --filter=blob:none --sparse https://github.com/marimo-team/marimo.git marimo
cd marimo && git sparse-checkout set examples && cd ..
mv marimo/examples . && rm -rf marimo
# Move notebooks to examples/notebooks
cp -r notebooks examples/notebooks
- name: πŸ› οΈ Run export script
run: |
uv run scripts/export_notebooks.py || uv run scripts/export_notebooks.py --skip-pdf --skip-webpdf
continue-on-error: false
- name: πŸ§ͺ Validate exports
run: |
uv run scripts/test_exports.py
- name: πŸ“„ List changed files
continue-on-error: true
run: |
echo "Changed files:"
git diff --name-only HEAD^ HEAD
- name: πŸ“Š Export statistics
run: |
echo "=== Export Statistics ==="
echo "Generated files:"
find generated -type f | wc -l
echo "Public files:"
find public -type f | wc -l
echo "PDF files:"
find generated -name "*.pdf" | wc -l || echo "0"
echo "WebPDF files:"
find generated -name "*.webpdf.pdf" | wc -l || echo "0"
- name: πŸ“¦ Upload Pages Artifact
uses: actions/upload-pages-artifact@v4
with:
path: public
- name: πŸ“¦ Upload Generated Artifacts
uses: actions/upload-artifact@v4
if: always()
with:
name: generated-notebooks
path: generated/
retention-days: 30
- name: πŸ”„ Create Pull Request
uses: peter-evans/create-pull-request@v8
with:
commit-message: 'Update exported notebooks'
branch: update-exported-notebooks
title: 'Update exported notebooks'
body: 'This PR updates the exported notebooks.'
labels: |
automated
assignees: |
mscolnick
add-paths: |
generated/*
public/*
deploy:
needs: export-notebooks
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
permissions:
pages: write
id-token: write
steps:
- name: 🌐 Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4
with:
artifact_name: github-pages