Skip to content

Move CI pipeline from Travis to a GitHub workflow#17

Merged
mrannanj merged 3 commits intomainfrom ci-moveDec 10, 2024

Commits

Commits on Dec 10, 2024