Code

Add Monotonic Types#145

Code

Merged

bogdandrutu merged 4 commits intoopen-telemetry:masteropen-telemetry/opentelemetry-proto:masterfrom MrAlias:add-monotonicMrAlias/opentelemetry-proto:add-monotonicCopy head branch name to clipboardJun 2, 2020

+109-83

Commits

Commits on Apr 28, 2020

• Add Monotonic refinement

  Show description for 5354621
  MrAlias

  committed
  5354621

Commits on Apr 29, 2020

• Merge remote-tracking branch 'upstream/master' into add-monotonic

  MrAlias

  committed
  c99662a

Commits on May 29, 2020

• Monotonic in type

  Show description for c3978f5
  MrAlias

  committed
  c3978f5

Commits on Jun 1, 2020

• Merge branch 'master' into add-monotonic

  bogdandrutu

  authored
  07ed240