Skip to content

ci: add Github build workflow#1

Merged
Manuthor merged 1 commit intodevelopfrom
ci/add_github_workflow
Apr 10, 2026
Merged

ci: add Github build workflow#1
Manuthor merged 1 commit intodevelopfrom
ci/add_github_workflow

Commits

Commits on Apr 10, 2026