Graph-Tool Version on Docker-Image
I noticed a bug regarding EdgePropertyMaps was recently fixed in Version 2.30.
I am using graph-tool using the suggested docker-image. The docker image was built today according to docker-hub, but when I pull and run it, still receive v 2.29 as an output when running graph-tool.__version__
in python.
How does the build pipeline for the docker image look like? I was unable to find a dockerfile in the repository to build the image myself. Do you have an ETA as to when the newest Version should be available on the dockerhub?