[lo-simon]

Because the generated main namespace and the enclosing namespace are identical, the using namespace line is redundant. To fix it, remove the redundant using fully-qualified name instead.

[garethsb]

Yeah, oops. I did wonder if the first namespace ought to be named main_340e1b6 ? Shall we do that?

[garethsb]

Regarding the ubuntu-24.04 failure which was an aborted pip install download, we could put retries around all of them, even though it's noisy, but I'm not sure if it's worthwhile...

for i in 1 2 3; do pip install -r requirements.txt && break; sleep 10; done

and similar in a few other places.

[lo-simon]

Yeah, oops. I did wonder if the first namespace ought to be named main_340e1b6 ? Shall we do that?

I don't mind, but where do you get the namespace main_340e1b6 from?

[garethsb]

I don't mind, but where do you get the namespace main_340e1b6 from?

The commit hash at which the files were copied from main.

We should probably just stick to your approach!