Alternatively, if you stand in the "doc" folder, you can generate the Workshop from the sources :
Pull the prebuilt image from the Docker Hub Registry.
Create a Docker volume to preserve the PostgreSQL database files outside of the container.
Run the Docker container.
Enter into the Docker container
Connect to the database (username=docker,db=mobilitydb).