Skip to content

Switching CI to GitHub actions#378

Merged
dividedmind merged 8 commits intomasterfrom
features/moving_ci_to_github_actions
Dec 3, 2025
Merged

Switching CI to GitHub actions#378
dividedmind merged 8 commits intomasterfrom
features/moving_ci_to_github_actions

Commits