Skip to content

Conversation

@thiagomini
Copy link
Contributor

closes #3

@thiagomini thiagomini added enhancement New feature or request CI CI tools task - GitHub Actions labels Dec 2, 2023
@thiagomini thiagomini self-assigned this Dec 2, 2023
@thiagomini thiagomini merged commit 3ee89bd into main Dec 2, 2023
@thiagomini thiagomini deleted the thiagomini-patch-1 branch December 6, 2023 12:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI CI tools task - GitHub Actions enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Configure GitHub actions to run tests before a PR is merged

2 participants