β Info: Deployment criteria for deploying devbranch build from GitHub Actions:
β - β ENV["GITHUB_REPOSITORY"]="m3g/CellListMap.jl" occurs in repo="github.com/m3g/CellListMap.jl.git"
β - β ENV["GITHUB_EVENT_NAME"]="push" is "push"
β - β ENV["GITHUB_REF"] matches devbranch="master"
β - β ENV["GITHUB_ACTOR"] exists and is non-empty
β - β ENV["DOCUMENTER_KEY"] exists and is non-empty
β Deploying: β
β Warning: Possible deploydocs() misconfiguration: main vs master
β Documenter's configured primary development branch (`devbranch`) is "master", but the
β current branch (from $GITHUB_REF) is "main". This can happen because Documenter uses
β GitHub's old default primary branch name as the default value for `devbranch`.
β
β If your primary development branch is 'main', you must explicitly pass `devbranch = "main"`
β to deploydocs.
β
β See #1443 for more discussion: https://github.com/JuliaDocs/Documenter.jl/issues/1443
β @ Documenter ~/.julia/packages/Documenter/qdbx6/src/deployconfig.jl:398