Skip to content

how to deploydoc with push_preview=false ? #1703

@ericqu

Description

@ericqu

I am using version 0.27.6. I am trying to deploy the docs to gh-pages (Github).
I am using the Github action script mentioned in the documentation v0.27.6.

When I do:

deploydocs(
    repo = "github.com/ericqu/LinearRegression.jl.git",
    push_preview = true,
)

Then the docs are deployed in a previews directory as expected.

When push_preview = false, then nothing happens.

As I am new to this, I probably do something wrong. What should I do?

Here is the output when nothing is deployed:

[ Info: SetupBuildDirectory: setting up build directory.
[ Info: Doctest: running doctests.
[ Info: ExpandTemplates: expanding markdown templates.
[ Info: CrossReferences: building cross-references.
[ Info: CheckDocument: running document checks.
[ Info: Populate: populating indices.
[ Info: RenderDocument: rendering document.
[ Info: HTMLWriter: rendering HTML pages.
┌ Info: Deployment criteria for deploying preview build from GitHub Actions:
│ - ✔ ENV["GITHUB_REPOSITORY"]="ericqu/LinearRegression.jl" occurs in repo="github.com/ericqu/LinearRegression.jl.git"
│ - ✔ ENV["GITHUB_REF"] corresponds to a PR number
│ - ✔ PR originates from the same repository
│ - ✘ `push_preview` keyword argument to deploydocs is `true`
│ - ✔ ENV["GITHUB_ACTOR"] exists and is non-empty
│ - ✔ ENV["GITHUB_TOKEN"] exists and is non-empty
└ Deploying: ✘

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions