Repository navigation

chore: migrate CI/CD from GitLab to GitHub Actions - #1

Closed

vojtech-cifka wants to merge 8 commits into

chore/switch-to-github-actions

Closed

chore: migrate CI/CD from GitLab to GitHub Actions#1
vojtech-cifka wants to merge 8 commits into
masterfrom
chore/switch-to-github-actions

Commits on Apr 22, 2026
- feat: add workflows
  vojtech-cifka
  committed
  80ba54f
- chore: point to the github repo
  vojtech-cifka
  committed
  fd19a47
- fix: remove mk-docs
  vojtech-cifka
  committed
  0a616da
- fix: remove pytest
  vojtech-cifka
  committed
  41699e0
- fix: add init to silence mypy
  vojtech-cifka
  committed
  380fead
- fix: apply more typing issues
  vojtech-cifka
  committed
  9c63365
- feat: configure Gemini
  vojtech-cifka
  committed
  065ce3b
- fix: format
  vojtech-cifka
  committed
  07107c9