Skip to content

finalize github migration - #239

Merged
woutdenolf merged 3 commits into
mainfrom
finalize-github-migration
Mar 6, 2026
Merged

finalize github migration#239
woutdenolf merged 3 commits into
mainfrom
finalize-github-migration

fix badges

ae31a13
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Mar 6, 2026 in 0s

Coverage not affected

View this Pull Request on Codecov

Coverage not affected

View more details on Codecov