|
|
6199872dcd
|
ci: disable docs and pages
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-12-04 22:15:45 +01:00 |
|
|
|
2920960efa
|
ci: skip linting and don't cache build
Signed-off-by: Matej Focko <mfocko@redhat.com>
|
2022-12-03 14:52:56 +01:00 |
|
|
|
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 |
|
