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

CI Badges #14

Merged
merged 3 commits into from
Feb 15, 2024
Merged

CI Badges #14

merged 3 commits into from
Feb 15, 2024

Conversation

sepandhaghighi
Copy link
Member

@sepandhaghighi sepandhaghighi commented Feb 13, 2024

Reference Issues/PRs

What does this implement/fix? Explain your changes.

  • CI badges fixed
  • TODO.md removed

Any other comments?

@AHReccese I removed the TODO.md file because we used this type of to-do list in our old boilerplate, and now we use issues instead of this method. If you believe that keeping this file would be useful for the project, please let me know.

@sepandhaghighi sepandhaghighi added documentation Improvements or additions to documentation minor labels Feb 13, 2024
@sepandhaghighi sepandhaghighi added this to the Reserver v0.2 milestone Feb 13, 2024
@sepandhaghighi sepandhaghighi self-assigned this Feb 13, 2024
@sepandhaghighi sepandhaghighi changed the title Badges fix CI Badges Feb 13, 2024
@AHReccese
Copy link
Member

I do agree with notes you mentioned.
LGTM.

@AHReccese AHReccese merged commit 031901a into dev Feb 15, 2024
36 checks passed
@AHReccese AHReccese deleted the badges_fix branch February 15, 2024 08:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation minor
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants