Skip to content
This repository has been archived by the owner on Jun 13, 2023. It is now read-only.

Migrate CI infrastructure from TravisCI to GitHub Action #159

Closed
ruebot opened this issue Nov 12, 2020 · 0 comments · Fixed by #161
Closed

Migrate CI infrastructure from TravisCI to GitHub Action #159

ruebot opened this issue Nov 12, 2020 · 0 comments · Fixed by #161
Assignees

Comments

@ruebot
Copy link
Member

ruebot commented Nov 12, 2020

No description provided.

@ruebot ruebot self-assigned this Nov 12, 2020
ruebot added a commit that referenced this issue Nov 14, 2020
ruebot added a commit that referenced this issue Nov 14, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant