Export Pluto notebooks

Fix download issue in PP lectures (#282) #347

Sign in to view logs

Triggered via push January 12, 2026 11:16

fonsp

main

Status Success

Total duration 12m 14s

Artifacts –

ExportPluto.yaml

on: push

export-to-gh-pages