Skip to content

Initialize structured logging library#1

Merged
henrylee97 merged 13 commits into
mainfrom
codex/initialize-structured-logging
Jun 2, 2026
Merged

Initialize structured logging library#1
henrylee97 merged 13 commits into
mainfrom
codex/initialize-structured-logging

Conversation

@henrylee97

Copy link
Copy Markdown
Member

Summary

  • Initialize scribe as a value-based structured logging library for OCaml.
  • Add the core Scribe API with levels, structured fields, events, logger values, and abstract sinks.
  • Add scribe.sinks with concrete sink modules for JSON lines and noop sinks.
  • Add Alcotest-based tests and README usage examples.
  • Add ocamlformat configuration, GitHub Actions CI, Dependabot, and repository convention docs.

Details

  • Core library:

    • Scribe.Level
    • Scribe.Field
    • Scribe.Event
    • Scribe.Sink
    • logger helpers such as create, noop, with_field, warn, info, and debug
  • Sinks:

    • Scribe_sinks.Json.channel
    • Scribe_sinks.Json.stderr
    • Scribe_sinks.Noop.create
  • Tooling:

    • profile = janestreet via .ocamlformat
    • CI runs build, tests, and formatting checks on main and PRs targeting main
    • Dependabot tracks GitHub Actions updates

Verification

  • dune build @fmt
  • dune build
  • dune runtest
  • dune build @install

henrylee97 and others added 13 commits June 2, 2026 05:47
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
Co-authored-by: GPT-5 Codex <codex@openai.com>
@henrylee97 henrylee97 self-assigned this Jun 2, 2026
@henrylee97 henrylee97 added documentation Improvements or additions to documentation enhancement New feature or request labels Jun 2, 2026
@henrylee97 henrylee97 merged commit 2cf8596 into main Jun 2, 2026
2 checks passed
@henrylee97 henrylee97 deleted the codex/initialize-structured-logging branch June 2, 2026 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant