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

1.5.0 beta #78

Merged
merged 11 commits into from
Jul 26, 2023
Merged

1.5.0 beta #78

merged 11 commits into from
Jul 26, 2023

Conversation

mwong009
Copy link
Owner

Checklist

  • There is an informative high-level description of the changes.
  • The description and/or commit message(s) references the relevant GitHub issue(s).
  • pre-commit is installed and set up.
  • The commit messages follow these guidelines.
  • The commits correspond to relevant logical changes, and there are no commits that fix changes introduced by other commits in the same branch/BR.
  • There are tests covering the changes introduced in the PR.

This PR merges new features and fixes from 1.5.0-beta branch

@mwong009 mwong009 merged commit 071d1f5 into master Jul 26, 2023
3 of 6 checks passed
@mwong009 mwong009 deleted the 1.5.0-beta branch July 26, 2023 09:41
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.

1 participant