Divam

On a second thought, I think I misunderstood the Github CI compatibility of the script+docker idea. Ideally we want to run the tests locally and on GH actions. For local...