Skip to content

Use github actions#612

Closed
DavidTanner wants to merge 1 commit intokach:masterfrom
DavidTanner:switchToGithubActions
Closed

Use github actions#612
DavidTanner wants to merge 1 commit intokach:masterfrom
DavidTanner:switchToGithubActions

Conversation

@DavidTanner
Copy link
Copy Markdown

Travis has been shut down for a while for running tests.

@DavidTanner
Copy link
Copy Markdown
Author

@kach I see that there is already a PR that includes adding github-actions, #607. This PR hopefully just isolates the changes into something you can approve sooner than summer.

Also, as a first step you could just approve this/ #607 so that we can check if the workflows work correctly.

@DavidTanner DavidTanner closed this by deleting the head repository Aug 23, 2022
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 this pull request may close these issues.

1 participant