Workspaces for other-configs #2908

• /net/www/ci/ocaml/jobs/other-configs/workspace@script/e5fc3896b7a501a446fdc6a3c1d2fa3f560732009e58e20589af9e6fad5e33c2 on built-in
• /home/barsac/ci/builds/workspace/other-configs on ocaml-linux-64