5655047436
48%

Ran 25 Jul 2023 09:40AM UTC

Jobs 1

Files 86

Run time 4s

Badge

Embed ▾

pending completion

Build # 5655047436

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

28938 of 54844 relevant lines covered (52.76%)

1403619.7 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5655047436.1	25 Jul 2023 09:40AM UTC	0	52.76	GitHub Action Run

Source Files on build 5655047436

Detailed source file information is not available for this build.

cryspen / hacl-packages / 5655047436
48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5655047436

cryspen / hacl-packages / 5655047436 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5655047436

cryspen / hacl-packages / 5655047436
48%

README BADGES
x