Closed mishina2228 closed 2 years ago
This PR replaces the CI status badge from Travis CI to GitHub Actions.
Thank you @mishina2228 @jekyllbot: merge +doc
This PR replaces the CI status badge from Travis CI to GitHub Actions.