CI build of tutorial
Still to be done:
-
install 'pvpython' into CI image -
install 'gmsh' into CI image (and add pygmsh package) -
somehow get access to generated files. Perhaps those could be packaged and uploaded to the registry - that seems doable from within the CI. Then the 'make doc' needs to be adapted to download the generated files from the registry and put them into doc. Then the generated files wouldn't be part of the git repo anymore.