Docker Images
gsalzer opened this issue · comments
The images in the main branch and the bytecode branch should be merged, with the more recent ones taking precedence, or updated by recent ones. In any case there should be a list documenting which tool versions or commits are used.
Done in branch sb2.0