Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add DOCUMENTER_KEY as ssh deploy key to tagbot #211

Merged
merged 1 commit into from
Jun 30, 2021
Merged

Add DOCUMENTER_KEY as ssh deploy key to tagbot #211

merged 1 commit into from
Jun 30, 2021

Commits on Jun 30, 2021

  1. Add DOCUMENTER_KEY as ssh deploy key to tagbot 

    This should enable TagBot to also trigger documentation builds for the tagged versions, so that we would get a new stable version of the docs. 
See https://juliadocs.github.io/Documenter.jl/stable/man/hosting/#GitHub-Actions
    @felixcremer
    felixcremer authored Jun 30, 2021
    Configuration menu
    Copy the full SHA
    e56f328 View commit details
    Browse the repository at this point in the history