Code

Use cohttp and eio instead of curly#44

Code

Open

gpetiot wants to merge 8 commits intotarides:maintarides/get-activity:mainfrom gpetiot:eiogpetiot/get-activity:eioCopy head branch name to clipboard

+180-187

Commits

Commits on Sep 26, 2024

• Use cohttp and eio instead of curly

  gpetiot

  committed
  f20e522

• Add missing deps

  gpetiot

  committed
  926cd69

• Update CHANGES.md

  Show description for 09f67f1
  

  gpetiot

  and

  github-actions[bot]

  authored
  09f67f1

• need 5.2

  gpetiot

  committed
  8cc5f0d

• 5.1 is enough?

  gpetiot

  committed
  4500195

• tls-eio >= 1.0.0

  gpetiot

  committed
  f65013c

• 5.0 enough?

  gpetiot

  committed
  4014d8d

Commits on Sep 30, 2024

• Create switch in Graphql.Request.exec

  gpetiot

  committed
  5c43d98