Links to the source in the documentation

Change

to develop so it can find the right lines: Missing docstring source links · Issue #834 · JuliaDocs/Documenter.jl · GitHub

Alternatively, follow the documented way to setup GitHub Actions:
https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#GitHub-Actions
the develop/add distinction might be too subtle.

3 Likes