Skip to content

Migrate CI to GitHub Actions - #177

Merged
FeodorFitsner merged 51 commits into
mainfrom
github-action
Oct 21, 2025
Merged

FeodorFitsner merged 51 commits into
mainfrom
github-action

Commits

  1. Commits on Oct 15, 2025

  2. Commits on Oct 18, 2025

  3. Commits on Oct 19, 2025

  4. Commits on Oct 20, 2025

  5. Commits on Oct 21, 2025