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.

Sign up for GitHub

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

Jump to bottom

Chore/tweaks #2

Merged

paulo-ferraz-oliveira merged 2 commits into main from chore/tweaks

May 21, 2024

Owner

paulo-ferraz-oliveira commented May 21, 2024 •

edited

Loading

Description

Very minor changes to prevent CI waste and fix a typo in an .md.

I have performed a self-review of my changes
I have read and understood the contributing guidelines

paulo-ferraz-oliveira added 2 commits

May 21, 2024 18:41


          Be less wasteful

89314d4


          Typo

05e518a

paulo-ferraz-oliveira merged commit 3b733f6 into main

5 checks passed

paulo-ferraz-oliveira deleted the chore/tweaks branch

May 21, 2024 18:22

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet