CI: fix documentation tests

[fingolfin]

Please let's first see if this actually fixes the error...

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (2e12d8a) 90.72% compared to head (9fed584) 90.72%.
Report is 1 commits behind head on main.

❗ Current head 9fed584 differs from pull request most recent head 10c55bf. Consider uploading reports for the commit 10c55bf to get more accurate results

Additional details and impacted files

@@           Coverage Diff           @@
##             main      #35   +/-   ##
=======================================
  Coverage   90.72%   90.72%           
=======================================
  Files           8        8           
  Lines         701      701           
=======================================
  Hits          636      636           
  Misses         65       65           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[fingolfin]

UH, why close this, can you reopen? Just don't merge it for now

[fingolfin]

@blociss this successfully fixes the documentation CI test, so you could merge it.

But all the CI tests don't help you if you don't monitor their status. The most reliable way to achieve that is by making all changes through pull requests. If you do direct pushes, you must remember to at least on occasion check the CI status manually.