tree 645c152e5d153022ad190a4349e7e1c6eec4907e
parent 01d73683f6dac212c9b86f6b593254f20021186d
author Philipp Wagner <phw@lowrisc.org> 1635366359 +0100
committer Philipp Wagner <mail@philipp-wagner.com> 1635521073 +0100

[doc] Document Continuous Integration System

Fixes #8326

Signed-off-by: Philipp Wagner <phw@lowrisc.org>