Code

Relax bounds#14

Code

Merged

edsko merged 2 commits intomasterwell-typed/json-sop:masterfrom edsko/relax-boundswell-typed/json-sop:edsko/relax-boundsCopy head branch name to clipboardOct 31, 2024

+59-62

Commits

Commits on Oct 30, 2024

• Relax bounds

  TeofilC

  committed
  0f70930

  Copy full SHA for 0f70930

Commits on Oct 31, 2024

• Update tested-with, CI, fix warnings

  edsko

  committed
  46e2ed4

  Copy full SHA for 46e2ed4