Thomas Gazagnaire samoht

Organizations

@mirage @ocaml @ocamllabs
samoht opened pull request samoht/ciso#12
@samoht
Workers
29 commits with 820 additions and 470 deletions
samoht pushed to workers at samoht/ciso
@samoht
samoht opened issue samoht/ciso#11
@samoht
We should be able to call the solver for all supported platform without having to switch
samoht commented on issue samoht/ciso#10
@samoht

Also in that case, the child process doesn't die...

samoht opened issue samoht/ciso#10
@samoht
empty init opam root failure
samoht opened issue samoht/ciso#9
@samoht
Dispatched tasks/jobs to dead workers are not reset to runnable
samoht opened issue samoht/ciso#8
@samoht
Workers are not cleaned correctly when the scheduler is started
samoht opened issue samoht/ciso#7
@samoht
Catch errors when package are not installable
samoht commented on issue mirage/irmin#276
@samoht

did you opam update I think I fixed that a few days ago

samoht pushed to workers at samoht/ciso
@samoht
samoht pushed to workers at samoht/ciso
@samoht
samoht starred Drup/No.
samoht pushed to workers at samoht/ciso
@samoht
samoht created branch workers at samoht/ciso
samoht deleted branch list at samoht/ciso
samoht pushed to master at samoht/ciso
@samoht
samoht merged pull request samoht/ciso#6
@samoht
ciso-list
20 commits with 712 additions and 326 deletions
samoht opened pull request samoht/ciso#6
@samoht
List
20 commits with 712 additions and 326 deletions
samoht pushed to list at samoht/ciso
@samoht
samoht commented on pull request mirage/irmin#273
@samoht

That was a good advice :-) sorry for the noise ...

samoht starred mmottl/gpr
samoht pushed to list at samoht/ciso
@samoht
  • @samoht 71d9148
    Update the tests to the changes from the last commit
  • @samoht 798c72a
    Add a `kind` field in the workers to dispatch them the right thing
  • 1 more commit »
samoht created branch list at samoht/ciso
samoht pushed to master at samoht/ciso
@samoht
samoht merged pull request samoht/ciso#5
@samoht
Scheduler
4 commits with 885 additions and 529 deletions
samoht pushed to master at mirage/irmin
@samoht