-
Couldn't load subscription status.
- Fork 43
208 add kv store #889
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
base: main
Are you sure you want to change the base?
208 add kv store #889
Conversation
37adf6b to
ec176ee
Compare
e0fe717 to
895728a
Compare
6df87b8 to
14906c3
Compare
308d10f to
af7e5ba
Compare
bca9ffa to
cabe54d
Compare
cabe54d to
8fa1b0f
Compare
This comment has been minimized.
This comment has been minimized.
8fa1b0f to
92ab6e9
Compare
This comment has been minimized.
This comment has been minimized.
Plans 👍Outputs can be viewed in the Terrateam Console here. Terrateam Plan Output 👍Expand for plan output detailsDir: code | No changesDir: code Step: run Step: plan To apply all these changes, comment:
|
| (* TODO: Make this use the proper Abb time *) | ||
| let time = Unix.gettimeofday () in | ||
| let time_str = ISO8601.Permissive.string_of_datetime time in | ||
| Format.kfprintf | ||
| k | ||
| ppf | ||
| ("[%s] %a [%s] @[" ^^ fmt ^^ "@]@.") | ||
| time_str | ||
| Logs.pp_header | ||
| (level, h) | ||
| (Logs.Src.name src) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Will this TODO apply to a later PR or this was forgotten here?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
That TODO has been there for 5 years 🤣
Description
Type of change
Checklist
ISSUE_NUMBER ACTION_TYPE Short description(e.g.,123 ADD Feature description)Additional context (optional)