Remove CI config for gitlab pages

Documentation will be hosted on readthedocs since the capability
of maintaining separate documentation for different versions
is available there and seems quite useful.
parent 0ee6c7f6
Pipeline #56496 passed with stages
in 4 minutes and 1 second