Skip to content

CI yamllint fix + old docs pipeline for master

Philipp Gadow requested to merge fix_docs_v2 into master

This MR introduces a fix for the failing yamllint part of the pipeline and reverts the documentation in the master for the moment, until the new docs pipeline is set up and working.

  • migrate to own docker image to avoid running into pull limitations by dockerhub
  • revert docs pipeline for the moment

Merge request reports