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

Remove redundant keys in history entries #211

Open
ablaom opened this issue Mar 17, 2024 · 0 comments
Open

Remove redundant keys in history entries #211

ablaom opened this issue Mar 17, 2024 · 0 comments

Comments

@ablaom
Copy link
Member

ablaom commented Mar 17, 2024

Because of #210 we have redundant keys in the history entries (all keys except :metadata and the new :evaluation are redundant.)

@github-project-automation github-project-automation bot moved this to priority low / straightforward in General Aug 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: priority low / straightforward
Development

No branches or pull requests

1 participant