Skip to content

github actions: migrate from travis#15

Merged
em92 merged 1 commit intodevelopfrom travis-to-github-actionsDec 16, 2023

Commits

Commits on Dec 16, 2023