• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Leonidas-from-XIV / dune / 262

07 Aug 2024 09:32AM UTC coverage: 6.912% (+0.001%) from 6.911%
262

push

github

web-flow
Replace oneshot_webserver with fake curl (#10808)

This solves a lot of the waiting leftover HTTP processes etc. The new
fake curl will read the list of files to serve from `fake-curls` and map
each line to a port.

To match the behavior of the oneshot-webserver it will only serve each
port once, subsequent requests for the same port will be answered by 404
(so not exactly the same but similar enough), the ports that were served
are recorded into an `already-served` file.

The same file can be served multiple times, as long as it is present
multiple times in `fake-curls`.

Signed-off-by: Marek Kubica <marek@tarides.com>

2912 of 42129 relevant lines covered (6.91%)

27038.57 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

20.83
/src/dune_patch/dune_patch.ml


Source Not Available

STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc