v7.2 protected
6b9f3bc3 · CI: do not test documentation for release branches and tags ·