Skip to content

Migrate tutorials to PINA-Tutorials and preserve legacy URLs - #851

Merged
GiovanniCanali merged 1 commit into
PINA-org:devfrom
GiovanniCanali:remove_tutorials
Nov 4, 2026
Merged

GiovanniCanali merged 1 commit into
PINA-org:devfrom
GiovanniCanali:remove_tutorials

Migrate tutorials to PINA-Tutorials and preserve legacy URLs

3fc55f0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 2 notices
unittests (macos-latest, 3.13)
succeeded Nov 3, 2026 in 2m 9s