Oscar Dowson

One thing that would save a lot is to remove the search index: https://github.com/odow/SDDP.jl/pull/661, https://odow.github.io/SDDP.jl/v0.3.13/search/ It saves quite a lot of space, and the only downside is that someone can't...

I also wonder about just removing all of the `v1.X` symlinked folders. Do we really need to be able to link to `JuMP.jl/v1.3/` and `JuMP.jl/v1.3.0/`?

I guess the question is to what extend do we want to support permalinks. If the docs can change between patch, then `v1.X` isn't stable and may break. I'm okay...

This has come up before https://github.com/JuliaDocs/Documenter.jl/issues/1914

This was actually slightly non-trivial to get working. First up, we can change the doc build to use a GitHub action:  We also need to enable `gh-pages` to deploy...

Closing because the warnings have gone away, and we haven't seen a failure recently. I'll re-open if this becomes a problem in future. 

This is actually pretty nasty. We fallback to `AbstractVector` methods: ```julia julia> using JuMP julia> A = [[1, 2, 10], [2, 3, 30]] 2-element Vector{Vector{Int64}}: [1, 2, 10] [2, 3,...

Hmm: ```julia julia> using JuMP julia> A = [[1, 2, 10], [2, 3, 30]] 2-element Vector{Vector{Int64}}: [1, 2, 10] [2, 3, 30] julia> model = Model() A JuMP Model Feasibility...

So perhaps we do need an `OrderedDict`

So this is a tricky decision. We didn't use it in any tests, and it was never used by any extension that we test. I wonder how common it is...