Skip to content

CI: Use GitHub Action instead of Travis-CI#10

Merged
methane merged 3 commits intomainfrom
github-action
May 21, 2023
Merged

CI: Use GitHub Action instead of Travis-CI#10
methane merged 3 commits intomainfrom
github-action

Commits

Commits on May 21, 2023