Investigate Docker build and running in container in CI

[dariusarnold]

• Check if special runner is required
• Simplest option would be to build and run directly in one job
• Check runtime and compare with upstream (especially with simple option a container rebuild would likely be frequent since we don't have the cache)
• A container build job that is only triggered if Dockerfile changes as a prerequisite for the actual infinisim build would remove that impact, but would need to store containers between runs
  • What are the storage options? Github has a container registry, but what is its free usage limit?
  • Is more complicated, maybe the Docker cache can somehow be reused between runs instead