Github action to build monorepo bunch docker image

[gridbugs]

No description provided.

[gridbugs]

I added this test because benchmarking infrastructure sometimes goes down and changes made to dune during these periods can break the monorepo benchmark without us realizing until much later. This test will build the docker image used to run the monorepo benchmark.

[gridbugs]

I tried having the action upload the docker stages to a registry (ghcr.io) to speed up the test since otherwise each run will take about 30 minutes. I get this error:

denied: installation not allowed to Create organization package

Didn't really expect this to work without configuration. Do we have a docker registry set up which the tests can access?

[rgrinberg]

Do we have a docker registry set up which the tests can access?

I'm not aware of one. Let's ask Riku internally.

[rikusilvola]

Dune could use Docker Hub's Personal tier account as an open-source project. It even comes with a single private repository, which we could use for this purpose. Is 200 pulls per 6 hours sufficient for our purposes?

[gridbugs]

Is 200 pulls per 6 hours sufficient for our purposes?

Yep I think that will be fine. Once the account is made we just have to put the password in secrets.DOCKER_HUB_PASSWORD in the repo settings. I'll update the PR to use dockerhub instead of github as its registry.

[Alizter]

I believe v6 is the latest.

[Leonidas-from-XIV]

Do we think that this is a good idea? I am worried that if ubuntu-latest switches to a new Ubuntu release, it'll potentially break down.

[gridbugs]

Possibly, but note that the dockerfile itself specifies a very specific version (of debian) and it's unlikely that when ubuntu gets updated it shouldn't affect how docker behaves.