Merge branch '9-add-documentation-in-pages' into 'main'
Passed
Johannes Mey
created pipeline for commit
df805d03
, finished
For main
2 minutes 36 seconds, queued for 2 seconds