infra: CI job to check if we have docs for all available instrumentation

[emdneto]

it would be nice to have a CI job to check if we have docs for all available instrumentation

Originally posted by @emdneto in #3060 (review)

[xrmx]

How did you find the missing ones?

[emdneto]

How did you find the missing ones?

Generated two lists of directories and got the diff through shellscript. But I'm talking about a Python script that can do this in CI more efficiently. I have done some prototype here and will open a PR

[xrmx]

How did you find the missing ones?

Generated two lists of directories and got the diff through shellscript.

Yeah, played a bit with find doing the same.

But I'm talking about a Python script that can do this in CI more efficiently. I have done some prototype here and will open a PR

Thanks!