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

PRO-557 #72 REFACTOR Update libraries #137

Merged
merged 1 commit into from
Dec 6, 2024
Merged

Conversation

orbitz
Copy link
Contributor

@orbitz orbitz commented Dec 6, 2024

Description

Type of change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation update
  • Other (explain):
    Updating to latest opam packages

Checklist

  • I have read the contributing guidelines
  • The pull request title follows this format:
    ISSUE_NUMBER ACTION_TYPE Short description (e.g., 123 ADD Feature description)
  • I have added tests and documentation (if applicable)
  • My changes generate no new warnings/errors and do not break existing functionality

Additional context (optional)

@orbitz orbitz requested a review from a team as a code owner December 6, 2024 13:52
@orbitz orbitz force-pushed the 72-refactor-update-libraries branch from ba8518c to 1f9f187 Compare December 6, 2024 15:01
@orbitz orbitz merged commit 19a6d56 into main Dec 6, 2024
4 checks passed
@orbitz orbitz deleted the 72-refactor-update-libraries branch December 6, 2024 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants