Change: ci: remove build-docs

As this step fails since months and noone complains it is a good indicator that this coverage and doc building step is unnecessary.
greenbone · Dec 14, 2023 · d80a865 · d80a865
1 parent 64d3035
commit d80a865
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml