Skip to content

Fix devbranch name in deploydocs#47

Merged
abhro merged 1 commit intosourcefrom
deploydocs-devbranch
Apr 27, 2025
Merged

Fix devbranch name in deploydocs#47
abhro merged 1 commit intosourcefrom
deploydocs-devbranch

Conversation

@abhro
Copy link
Member

@abhro abhro commented Apr 27, 2025

No description provided.

@abhro abhro merged commit db089cc into source Apr 27, 2025
2 of 3 checks passed
@abhro abhro deleted the deploydocs-devbranch branch April 27, 2025 18:38
)
@info "Deploy complete"
end
@info "Deploying docs"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess you can drop the deploy arg from here now:

julia --color=yes --project=docs docs/make.jl deploy

Just a note that this will go back to throwing

┌ Warning: Documenter could not auto-detect the building environment. Skipping deployment.
└ @ Documenter ~/.julia/packages/Documenter/ZlqFj/src/deployconfig.jl:76

when building locally

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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.

2 participants