Skip to content

Update documentation

Simon Rose requested to merge update_documentation into master

Some minor updates to documentation, as well as an update to the .gitlab-ci file so that we pick up the latest docker image.

Merge request reports