Docs (by Documenter) are not being updated in gh-pages branch

[Gnimuc]

It looks like the deployment process was skipped: Travis CI - Test and Deploy with Confidence

Have you considered to upgrade Documenter.jl to 0.20+?

PSA: Documenter.jl breaking changes & version capping

This is relevant for package developers using Documenter.jl for their package documentation. The upcoming Documenter 0.20 will introduce breaking changes to the way makedocs and deploydocs arguments are interpreted. This means that most existing make.jl scripts have to be updated before they work correctly with the new version. As you might have already noticed, a bunch of METADATA-registered packages just got hit with automated PRs that cap the Documenter version used in Travis to 0.19. Howev…