Skip to content

update CI to use github actions - #79

Merged
arvidn merged 2 commits into
masterfrom
new-ci
May 20, 2026
Merged

arvidn merged 2 commits into
masterfrom
new-ci

fix warnings

84ae003
Select commit
Loading
Failed to load commit list.