cryspen / hacl-packages

52%

main: 48%

LAST BUILD ON BRANCH gh-readonly-queue/main/pr-421-df9faeeaa8c117299d6acd6e4a78a397c719df48

branch: gh-readonly-queue/main/pr-421-df9faeeaa8c117299d6acd6e4a78a397c719df48

CHANGE BRANCH

x

Reset

• gh-readonly-queue/main/pr-421-df9faeeaa8c117299d6acd6e4a78a397c719df48
• dev
• franziskus/hacl-update-exp
• gh-readonly-queue/main/pr-426-c6d3969f8930e37c5bf71e65c74b18d8f2a313f7
• gh-readonly-queue/main/pr-427-1a0f62c0b5e4bafa5bc1da5aef4cc9ad2ef43547
• main
• refs/heads/main

Build # 5643207956

Build Type

push

github

Committed by web-flow

Commit Message

ocaml: fix compatibility with ctypes 0.21.0 (#421)

In ctypes < 0.21.0, the ctypes and ctypes.stubs libraries were installed
in the same directory, so depending on one would make the other one
visible.
ctypes 0.21.0 installs them in different directories so this makes it an
error.
hacl-star-raw uses ctypes.stubs so the dependency should be recorded.

Co-authored-by: Franziskus Kiefer <franziskuskiefer@gmail.com>

Run Details

28620 of 54844 relevant lines covered (52.18%)

1403286.8 hits per line