https://www.orchest.io/ logo
r

Rick Lamers

08/21/2020, 3:38 PM
Indeed, the fix should now be deployed to Docker Hub which will get pulled in with
./orchest.sh update
2 Views