Skip to content

Migrate to GitHub actions#22

Merged
FrankHald merged 5 commits intomasterfrom
migrate_to_github_actions
Sep 15, 2021
Merged

Migrate to GitHub actions#22
FrankHald merged 5 commits intomasterfrom
migrate_to_github_actions

Conversation

@cramt
Copy link
Copy Markdown
Contributor

@cramt cramt commented Sep 15, 2021

Created a Github Actions job with should be equivalent to the travis ci in terms of when it fails and successes

@cramt cramt requested a review from FrankHald September 15, 2021 12:18
@FrankHald FrankHald merged commit 9469397 into master Sep 15, 2021
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.

2 participants