Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cohttp-async: base/async v0.16 compatibility #976

Merged
merged 18 commits into from
Jun 27, 2023

Commits on Mar 9, 2023

  1. Configuration menu
    Copy the full SHA
    ce9d1b2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    bbf09ee View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Configuration menu
    Copy the full SHA
    097230c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d56fec9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5f75cbb View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    200aec8 View commit details
    Browse the repository at this point in the history
  5. CI: test 4.14 only once

    mseri committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    24c77df View commit details
    Browse the repository at this point in the history
  6. update bounds on opam file

    mseri committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    144ab50 View commit details
    Browse the repository at this point in the history
  7. CI: fix pinning

    mseri committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    17e98be View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Configuration menu
    Copy the full SHA
    29bf909 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e5c197f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b0aad0e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ecb3d8f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    26acd4e View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Configuration menu
    Copy the full SHA
    259c762 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2b1e8c1 View commit details
    Browse the repository at this point in the history
  3. update changelog

    mseri committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    8e5c1fd View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    0eb1fc0 View commit details
    Browse the repository at this point in the history