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

Minor db factoring #5649

Merged
merged 3 commits into from
Dec 5, 2023
Merged

Conversation

nilsdeppe
Copy link
Member

Proposed changes

General things that'll be useful for runtime DataBox.

Upgrade instructions

Code review checklist

  • The code is documented and the documentation renders correctly. Run
    make doc to generate the documentation locally into BUILD_DIR/docs/html.
    Then open index.html.
  • The code follows the stylistic and code quality guidelines listed in the
    code review guide.
  • The PR lists upgrade instructions and is labeled bugfix or
    new feature if appropriate.

Further comments

@knelli2 knelli2 added the auto-merge GitHub's auto-merge has been enabled for this PR. label Dec 4, 2023
@knelli2 knelli2 merged commit 5db9f55 into sxs-collaboration:develop Dec 5, 2023
21 checks passed
@nilsdeppe nilsdeppe deleted the minor_db_factoring branch December 5, 2023 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto-merge GitHub's auto-merge has been enabled for this PR.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants