Skip to content

[docs] Document CI setup.

Dr. Jorrit Fahlke requested to merge docs into master

Closes: #2 (closed)

Merge request reports