Repository navigation

Move CI and documentation from GitLab to GitHub - #80

Merged

Sonyoyo merged 2 commits into

feature/github-actions

Oct 14, 2026

Merged

Move CI and documentation from GitLab to GitHub#80
Sonyoyo merged 2 commits into
masterfrom
feature/github-actions

Commits on Oct 2, 2026
- switch from gitlab to github for links and CI
  bmazurie
  committed
  7b89fd5
Commits on Oct 12, 2026
- documentation deployed only on master
  bmazurie
  committed
  a9b1b9d