1
7%
main: 7%

Ran 11 Mar 2024 01:48PM UTC

Files 526

Run time 11s

Badge

Embed ▾

Committed 11 Mar 2024 10:13AM UTC coverage: 6.959% (+0.001%) from 6.958%

Job # 822.1

Build Type

push

github

Committed by

web-flow

Commit Message

fix(windows): use unicode version of CreateProcess (#10212)

This does several things:
- update our spawn vendored version to include janestreet/spawn#58
- pick the dune file
- add new build flags for bootstrapping

Fixes #10180

Signed-off-by: Etienne Millon <me@emillon.org>

Coverage Stats

2881 of 41400 relevant lines covered (6.96%)

27514.06 hits per line

jchavarri / dune / 822 / 1
7%
main: 7%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 822.1

jchavarri / dune / 822 / 1 7% main: 7%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 822.1

jchavarri / dune / 822 / 1
7%
main: 7%

README BADGES
x