Use official crdoc container image
With !164 (merged), a crdoc check is provided with our CI pipeline.
Instead of installing crdoc manually, we should use the official crdoc image recently released.
With !164 (merged), a crdoc check is provided with our CI pipeline.
Instead of installing crdoc manually, we should use the official crdoc image recently released.