Docker container intermittently failing to start in CI

Sure thing - keep us updated if it crops up again - I’m sure everyone here would be interested.