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.

Sign up for GitHub

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

Jump to bottom

Dependencies update and CI #33

Merged
merged 6 commits into from
Jan 12, 2022
Merged

Dependencies update and CI #33

merged 6 commits into from
Jan 12, 2022

Commits on Jan 4, 2022

  1. Update to cstruct.6.0.0 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    abeba2e View commit details
    Browse the repository at this point in the history

  2. Enable setup-ocaml GitHub Action 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    5f76d99 View commit details
    Browse the repository at this point in the history

  3. Adapt to alcotest 1.5.0 (and before) interface changes 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    33319e0 View commit details
    Browse the repository at this point in the history

  4. Avoid deprecated Lwt_main.yield, use Lwt.pause instead 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    1f164c0 View commit details
    Browse the repository at this point in the history

  5. Drop mirage-protocols and depend on arp, ipaddr, tcpip 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    91420af View commit details
    Browse the repository at this point in the history

  6. Lint opam files and simplify Dune files 

    Signed-off-by: Antonin Décimo <antonin@tarides.com>
    @MisterDA
    MisterDA committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    90f6f55 View commit details
    Browse the repository at this point in the history