@tmcgilchrist what's the next step for getting this deployed?
I suggest:
Merge this PR, allowing the new version to build.
Configure the new solver (already on arm64-jade-1) to use the production pool rather than the staging one.
Run the new service alongside the old one (on jade-2) for a bit. If the new one crashes, the old solver will take over. If the new version produces wrong results, stop it and let the old one handle all requests.
@tmcgilchrist what's the next step for getting this deployed?
I suggest:
arm64-jade-1
) to use the production pool rather than the staging one.The
/etc/systemd/system/solver-worker.service
file I'm using with it is:Note that the old service accidentally cloned Git repositories to the root. You can delete
/github_com
after switching to the new service.