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.

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: update misc libs #75

Merged
merged 1 commit into from
Oct 20, 2023
Merged

chore: update misc libs #75

merged 1 commit into from
Oct 20, 2023

Conversation

mikelax
Copy link
Collaborator

@mikelax mikelax commented Oct 20, 2023 •
edited
Loading

Overview

  • Update misc. libs in server and database projects. Prepare for larger oas-tools libs update in future PR.

Your PR Checklist 🚨

❤️ Please review the guidelines for contributing to this repository. Our goal is to merge PRs fast 💨 .

  • Check your code additions will fail neither code linting checks nor unit tests.
  • Additional units tests have been added to prove code updates work and fixes are effective
  • Additional documentation has been added (if appropriate)
  • Update Assignee field to yourself

Issue Reference

Closes #

Open Questions or Items to Callout

@mikelax mikelax self-assigned this Oct 20, 2023
@mikelax mikelax requested a review from k1ch October 20, 2023 19:48
@mikelax mikelax merged commit 07a22a6 into main Oct 20, 2023
4 checks passed
@mikelax mikelax deleted the topics/mh-misclibs102023 branch October 20, 2023 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@k1ch k1ch k1ch approved these changes

Assignees

@mikelax mikelax

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mikelax @k1ch