Code

feat: allow to remove backend#73

Code

Merged

c-cube merged 5 commits intomainimandra-ai/ocaml-opentelemetry:mainfrom simon/fix-70imandra-ai/ocaml-opentelemetry:simon/fix-70Copy head branch name to clipboardOct 17, 2024

+21-13

Commits

Commits on Oct 16, 2024

• feat: allow to remove backend

  Show description for 0ef97a0
  c-cube

  committed
  0ef97a0

• in remove_backend, call tick() then cleanup() on it

  c-cube

  committed
  1924ff7

Commits on Oct 17, 2024

• in backends, call tick() before cleaning up

  Show description for 62f876a
  c-cube

  committed
  62f876a

• simplify

  c-cube

  committed
  6201c04

• cleanup

  c-cube

  committed
  0749e89