Skip to content

Adding a CI#84

Merged
nathanfallet merged 3 commits intomainfrom
ci
Aug 29, 2022
Merged

Adding a CI#84
nathanfallet merged 3 commits intomainfrom
ci

Conversation

@nathanfallet
Copy link
Collaborator

Fixes #81

@nathanfallet
Copy link
Collaborator Author

Done, it will avoid new issues like #56 and #82

@nathanfallet nathanfallet merged commit 9aef09b into main Aug 29, 2022
@nathanfallet nathanfallet deleted the ci branch August 29, 2022 09:56
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.

Add a CI to check build

1 participant