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

Update dependencies #1139

Merged
merged 3 commits into from
Oct 8, 2023
Merged

Update dependencies #1139

merged 3 commits into from
Oct 8, 2023

Conversation

hramberger
Copy link
Member

@hramberger hramberger commented Oct 8, 2023

[Your PR description here]

PR Checklist

  • Wrote a good commit message & description according to conventional commits [see guide below].
  • The PR is linked to an issue.
  • Added/Updated unit tests.
  • All unit tests are passing.
  • Used the same coding conventions as the rest of the project.
  • The PR relates to only one subject with a clear title
  • The PR description uses grammatically correct, complete sentences.
  • CHANGELOG.md was updated

Approver/Reviewer Checklist

  • Before merge squash related commits or rebase branch.

Other Information

Conventional commits

@hramberger hramberger changed the title Chore/update dependencies Update dependencies Oct 8, 2023
@github-actions github-actions bot added the CI/CD Pipeline related issues and pull requests label Oct 8, 2023
@hramberger hramberger self-assigned this Oct 8, 2023
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 8, 2023
@hramberger hramberger merged commit 6ea13b1 into main Oct 8, 2023
@hramberger hramberger deleted the chore/update-dependencies branch October 8, 2023 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/CD Pipeline related issues and pull requests documentation Improvements or additions to documentation
Development

Successfully merging this pull request may close these issues.

1 participant