Hello there!
This is an automated pull request submitted by @fredrikekre to update your call do Documenter.deploydocs. The julia keyword argument to Documenter.deploydocs will be required in the future instead of defaulting to julia = "nightly" (see https://github.com/JuliaDocs/Documenter.jl/pull/712, https://github.com/JuliaDocs/Documenter.jl/issues/526). Please take a look at this PR and ping @fredrikekre if you have any questions.
Hello there! This is an automated pull request submitted by
@fredrikekreto update your call doDocumenter.deploydocs. Thejuliakeyword argument toDocumenter.deploydocswill be required in the future instead of defaulting tojulia = "nightly"(see https://github.com/JuliaDocs/Documenter.jl/pull/712, https://github.com/JuliaDocs/Documenter.jl/issues/526). Please take a look at this PR and ping@fredrikekreif you have any questions.