Skip to content

Switching CI to GitHub actions - #378

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

dividedmind merged 8 commits into
masterfrom
features/moving_ci_to_github_actions

Commits

  1. Commits on Oct 11, 2025

  2. Commits on Nov 24, 2025

  3. Commits on Dec 1, 2025