Skip to content

ci: migrate from travis ci to github ci#8

Merged
DannyvdSluijs merged 7 commits intodevelopfrom
shift-from-travis-to-github
Feb 19, 2025
Merged

ci: migrate from travis ci to github ci#8
DannyvdSluijs merged 7 commits intodevelopfrom
shift-from-travis-to-github

Commits