Fix curl error - #7

Open

akringwood wants to merge 17 commits into

Commits on Mar 10, 2021

init commit.
Adam Ringwood
committed
7ad27f3
Merge branch 'master' into fix_curl_error
Adam Ringwood
committed
75086e4

Commits on Mar 11, 2021

add agent upload/download functions.
Adam Ringwood
committed
392ff94
fix runner.
Adam Ringwood
committed
c8a2043

Commits on Mar 12, 2021

attempted small fixes.
akama
committed
f4f3269
fix annoying bug re \n getting inserted.
akama
committed
2d9f74c

Commits on Mar 26, 2021

this should work?
akama
committed
c6ff4f6
update mc settings.
akama
committed
69cf7c0

Commits on Apr 19, 2021

Wait longer and print more detailed error messages
hcarty
committed
2bdb859
Merge remote-tracking branch 'origin/master' into fix_curl_error
hcarty
committed
063c418

Commits on Apr 27, 2021

Merge remote-tracking branch 'origin/master' into fix_curl_error
hcarty
committed
2249c64

Commits on Apr 28, 2021

Fix some warnings, replace ocaml-monadic with let-operators
hcarty
committed
e8ad6eb
Catch cohttp client exceptions, add lwt_ppx
hcarty
committed
948ecc4
Get rid of some more ocaml-monadic
hcarty
committed
38d7238
Get rid of just a bit more ocaml-monadic
hcarty
committed
f193110
Try with an older Ubuntu to get an older glibc
hcarty
committed
2cb8dfb
Try with a slightly newer Ubuntu which has bubblewrap packaged for it
hcarty
committed
4d3de18