David Rheinsberg 9064788fdf ci: add job for documentation build and test ... This adds another job to the CI runner. This builds and tests the documentation. The tests are currently reduced to just verifying the respective man-pages are actually generated. This can be extended on in the future.		2020-03-09 13:20:42 +01:00
..
tests.yml	ci: add job for documentation build and test	2020-03-09 13:20:42 +01:00