Put the General registry clone inside a bounded retry loop (#13)

Co-authored-by: Sascha Mann <git@mail.saschamann.eu>
This commit is contained in:
Dilum Aluthge
2021-01-04 05:30:54 -05:00
committed by GitHub
parent 69b7cba4e2
commit 1b0a69ab74
2 changed files with 51 additions and 1 deletions

View File

@@ -17,7 +17,7 @@ runs:
# * https://github.com/JuliaLang/Pkg.jl/issues/2011
# * https://github.com/JuliaRegistries/General/issues/16777
# * https://github.com/JuliaPackaging/PkgServer.jl/issues/60
- run: julia --color=yes -e 'using Pkg; VERSION >= v"1.5-" && !isdir(joinpath(DEPOT_PATH[1], "registries", "General")) && Pkg.Registry.add("General")'
- run: julia --color=yes "$GITHUB_ACTION_PATH"/add_general_registry.jl
shell: bash
env:
# We set `JULIA_PKG_SERVER` only for this step to enforce
@@ -25,5 +25,6 @@ runs:
# the request metadata to pkg.julialang.org when installing
# packages via `Pkg.test`.
JULIA_PKG_SERVER: ""
- run: julia --color=yes --project -e 'using Pkg; if VERSION >= v"1.1.0-rc1"; Pkg.build(verbose=true); else Pkg.build(); end'
shell: bash