Skip to content

Migrate to GitHub actions - #22

Merged
FrankHald merged 5 commits into
masterfrom
migrate_to_github_actions
Sep 15, 2021
Merged

Migrate to GitHub actions#22
FrankHald merged 5 commits into
masterfrom
migrate_to_github_actions

Conversation

@cramt

@cramt cramt commented Sep 15, 2021

Copy link
Copy Markdown
Contributor

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