Revert to remote solver

lib/analyse.ml

@@ -3,7 +3,6 @@ open Current.Syntax
 module Worker = Ocaml_ci_api.Worker
 
 let pool = Current.Pool.create ~label:"analyse" 20
-let solver_pool = Current.Pool.create ~label:"temporary-bottleneck" 4
 
 let is_empty_file x =
   match Unix.lstat (Fpath.to_string x) with
@@ -400,8 +399,7 @@ module Examine = struct
   let id = "ci-analyse"
 
   let run solver job src { Value.opam_repository_commit; platforms } =
-    Current.Job.start_with ~pool:solver_pool job ~level:Current.Level.Harmless
-    >>= fun () ->
+    Current.Job.start job ~level:Current.Level.Harmless >>= fun () ->
     Current_git.with_checkout ~job ~pool src @@ fun src ->
     Analysis.of_dir ~solver ~platforms ~opam_repository_commit ~job src
 

stack.yml

@@ -37,6 +37,7 @@ services:
       --confirm-auto-release 120
       --capnp-public-address=tcp:ocaml.ci.dev:8102 --capnp-listen-address=tcp:0.0.0.0:9000
       --submission-service /run/secrets/ocaml-ci-submission.cap
+      --submission-solver-service /run/secrets/ocaml-ci-solver.cap 
       --migration-path /migrations
       --verbosity info
       --github-account-allowlist 'talex5,ocurrent,ocaml,mirage,avsm,samoht,kit-ty-kate,tarides,aantron,ocamllabs,realworldocaml,NathanReb,0install,gpetiot,ocaml-ppx,CraigFe,pascutto,julow,ocaml-gospel,vbmithr,gs0510,magnuss,dune-universe,janestreet,emillon,capnproto,ocaml-opam,ocaml-dune,favonia,joelburget,jeffa5,bikallem,jonludlam,g2p,stedolan,ocsigen,dinosaure,hannesm,mirleft,roburio,misterda,ocaml-multicore,cdaringe,inhabitedtype,tmcgilchrist,ocaml-doc,grievejia,Leonidas-from-XIV,ocaml-community,verbosemode,tomjridge,thizanne,n-osborne,TheLortex,patricoferris,routineco,moby,djs55,hyunha,hyper-systems,coco33920,sanette,maiste,yomimono,c-cube,novemberkilo,joaosreis,mtelvers,ygrek,geocaml,panglesd,SimonJF,haesbaert,benmandrew,andrenth,backtracking,jmid,shindere,gildor478,mefyl,ElectreAAS,well-typed-lightbulbs,johnyob,lasamlai,zshipko,andreas,bobot,dialohq'
@@ -68,6 +69,7 @@ services:
       --gitlab-token-file /run/secrets/ocaml-ci-gitlab-token
       --gitlab-webhook-secret-file /run/secrets/ocaml-ci-gitlab-webhook-secret
       --submission-service /run/secrets/ocaml-ci-submission.cap
+      --submission-solver-service /run/secrets/ocaml-ci-solver.cap
       --capnp-public-address=tcp:ocaml.ci.dev:8202
       --capnp-listen-address=tcp:0.0.0.0:9000
       --migration-path /migrations