Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Convert Travis CI to GitHub Action #137

Open
ribose-jeffreylau opened this issue Jul 19, 2021 · 0 comments · May be fixed by #138
Open

Convert Travis CI to GitHub Action #137

ribose-jeffreylau opened this issue Jul 19, 2021 · 0 comments · May be fixed by #138
Assignees

Comments

@ribose-jeffreylau
Copy link
Contributor

No description provided.

@ribose-jeffreylau ribose-jeffreylau self-assigned this Jul 19, 2021
@ribose-jeffreylau ribose-jeffreylau linked a pull request Jul 19, 2021 that will close this issue
ribose-jeffreylau added a commit that referenced this issue Jul 20, 2021
... from .org to .com, since the former is shut down.

related: #137
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant