Skip to content

Migrate from Travis to Github Actions#6

Merged
c-w merged 1 commit intomasterfrom
github-actions
May 31, 2020
Merged

Migrate from Travis to Github Actions#6
c-w merged 1 commit intomasterfrom
github-actions

Conversation

@c-w
Copy link
Member

@c-w c-w commented May 31, 2020

Resolves #5

@c-w c-w force-pushed the github-actions branch 3 times, most recently from 1e0efeb to de5f52d Compare May 31, 2020 13:41
@c-w c-w changed the title Run CI on Github actions Migrate from Travis to Github Actions May 31, 2020
@c-w c-w force-pushed the github-actions branch from de5f52d to 06ec50e Compare May 31, 2020 13:44
@c-w c-w merged commit 09bb18d into master May 31, 2020
@c-w c-w deleted the github-actions branch May 31, 2020 13:45
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.

Run CI also on Windows

1 participant