mirror of
https://github.com/julia-actions/julia-buildpkg.git
synced 2026-02-12 01:16:54 +08:00
Prefer using ENV for local registry to make CI output easier to read
This commit is contained in:
@@ -58,8 +58,8 @@ runs:
|
|||||||
end
|
end
|
||||||
|
|
||||||
# If provided add local registries
|
# If provided add local registries
|
||||||
if !isempty("${{ inputs.localregistry }}")
|
if !isempty(ENV["LOCAL_REGISTRY"])
|
||||||
local_repos = split("${{ inputs.localregistry }}", "\n"; keepempty=false) .|> string
|
local_repos = split(ENV["LOCAL_REGISTRY"], "\n"; keepempty=false) .|> string
|
||||||
for repo_url in local_repos
|
for repo_url in local_repos
|
||||||
# https://github.com/JuliaLang/Pkg.jl/issues/3753
|
# https://github.com/JuliaLang/Pkg.jl/issues/3753
|
||||||
if !any(r -> r.repo == repo_url, reachable_registries())
|
if !any(r -> r.repo == repo_url, reachable_registries())
|
||||||
@@ -74,3 +74,4 @@ runs:
|
|||||||
env:
|
env:
|
||||||
JULIA_PKG_PRECOMPILE_AUTO: "${{ inputs.precompile }}"
|
JULIA_PKG_PRECOMPILE_AUTO: "${{ inputs.precompile }}"
|
||||||
GITHUB_TOKEN: ${{ github.token }}
|
GITHUB_TOKEN: ${{ github.token }}
|
||||||
|
LOCAL_REGISTRY: ${{ inputs.localregistry }}
|
||||||
|
|||||||
Reference in New Issue
Block a user