chore: merge the handheld port

This commit is contained in:
Abdessamad Derraz committed 2026-10-22 04:12:09 +02:00
commit e05844e611
19 files changed
+1862 -8

No files matched your search

+3
View File
@@ -17,6 +17,8 @@ on:
- "install.py"
- "install.sh"
- "install.ps1"
# The handheld port bundles install.py and its tests read both.
- "ports/**"
# Every input of the site build, so a page that would fail the deploy
# fails here first (tests/test_workflow_paths.py).
- "wiki/**"
@@ -42,6 +44,7 @@ on:
- "install.py"
- "install.sh"
- "install.ps1"
- "ports/**"
- "wiki/**"
- "docs_assets/**"
- "provenance/**"