Good for newcomers. Mark issues with this.
Style fixes or refactor in the code base. Mark issues with this.
This issue or pull request is in progress, but dependent on another task being completed first.
Something isn't working (correctness). Mark issues with this.
This is part of the DB class (15-721)
This issue is documented here and someone might want to fix it later, but it takes no priority
This PR is either not intended to merge, or did not pass review.
This issue or pull request already exists
This PR is being actively worked on and not ready to be reviewed or merged. Mark PRs with this.
Infrastructure related issues or changes (CMake, dependencies, CI)
This pull request has unresolved conflicts that prevent merging.
This is an issue that requires more information before it can be assigned.
This PR is waiting on tests.
Performance related issues or changes.
Further information is requested.
Indicate that this build should be run through CI.
This PR passes all checks and is ready to be reviewed. Mark PRs with this.
This PR is ready to be merged. Mark PRs with this.
This issue or PR concerns the testing infrastructure: Google Test, Google Benchmark, JUnit, etc.
This will not be worked on