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

Conversation

@Manuthor
Copy link
Copy Markdown
Contributor

No description provided.

@Manuthor Manuthor changed the base branch from main to develop April 10, 2026 19:46
@Manuthor Manuthor merged commit be3316e into develop Apr 10, 2026
2 checks passed
@Manuthor Manuthor deleted the ci/add_github_workflow branch April 10, 2026 20:06
Manuthor added a commit that referenced this pull request Apr 10, 2026
ci: add Github build workflow (#1)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant