Skip to content

Fix documentation publishing issue#160

Open
hakkelt wants to merge 1 commit into
JuliaFirstOrder:masterfrom
hakkelt:fix-documentation
Open

Fix documentation publishing issue#160
hakkelt wants to merge 1 commit into
JuliaFirstOrder:masterfrom
hakkelt:fix-documentation

Conversation

@hakkelt
Copy link
Copy Markdown
Contributor

@hakkelt hakkelt commented Jun 2, 2026

This PR replaces the explicit call to docs/make.jl in docs.yml (recommended by Documenter's documentation) with a specialized GitHub action: https://github.com/julia-actions/julia-docdeploy#usage

This GitHub action seems curated (it is part of julia-actions organization) and maintained (last commit was 6 month ago).

It might fix #155 because it doesn't require DOCUMENTER_KEY variable to be set up.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Documentation fails pushing

1 participant