Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Configure github CI #15

Merged
merged 9 commits into from
Aug 21, 2024
Merged

Configure github CI #15

merged 9 commits into from
Aug 21, 2024

Conversation

joajfreitas
Copy link
Owner

@joajfreitas joajfreitas commented Aug 21, 2024

Configure github CI

  • Linter
  • Formatter
  • Tests

@ItsNotSoftware

@joajfreitas joajfreitas changed the title github CI Configure github CI Aug 21, 2024
@joajfreitas joajfreitas force-pushed the ci branch 2 times, most recently from 9833ce7 to a4ec1e0 Compare August 21, 2024 17:19
@joajfreitas joajfreitas merged commit cc420d8 into master Aug 21, 2024
5 checks passed
@joajfreitas joajfreitas deleted the ci branch September 18, 2024 18:23
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