Skip to content

Update Windows CI setup and make the manuals job its own workflow#158

Merged
wilfwilson merged 1 commit into
gap-packages:masterfrom
wilfwilson:ci
Sep 12, 2025
Merged

Update Windows CI setup and make the manuals job its own workflow#158
wilfwilson merged 1 commit into
gap-packages:masterfrom
wilfwilson:ci

Commits

Commits on Sep 12, 2025