Closed JamesGuthrie closed 2 years ago
Would you like to send us a PR with a proposal?
I can help this but I have a question: do we plan to make a docker image available on docker hub or just write a Dockerfile in the repo?
We can publish it to GitHub's container registry, which should be easier to integrate.
Is your feature request related to a problem? Please describe.
It would be greatly convenient if you could package tracegen as a docker image. I know that I can make one myself, but I don't really want to do that.