Details
-
Bug
-
Status: Resolved
-
P2
-
Resolution: Fixed
-
None
-
None
Description
Now that we have official released docker images [1], we should consider pulling them as the default instead of requiring the user to first build their own docker images, which is more cumbersome and error-prone. Also, all documentation would need to be updated accordingly.