1
0
Fork 0
Commit graph

2 commits

Author SHA1 Message Date
7fb03bf9b2
ci: disable redirect to coverage
Doesn't work anyways, because the contents of docs and coverage are not
merged into one public web

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-01 14:28:54 +01:00
545759f407
ci: add CI
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-01 12:00:47 +01:00