Avoid delay after package registration by cloning General (#17)

* Avoid delay in package registration by cloning General

* Fix a typo

Co-authored-by: Sascha Mann <git@mail.saschamann.eu>

* Clarify why JULIA_PKG_SERVER is set for a single step

Co-authored-by: Sascha Mann <git@mail.saschamann.eu>
This commit is contained in:
Takafumi Arakaki
2020-09-09 11:19:36 -07:00
committed by GitHub
parent 8eb690078f
commit ffce252ef2

View File

@@ -14,5 +14,21 @@ inputs:
runs:
using: 'composite'
steps:
# Occasionally, there are rather large delays (> a few hours)
# between the time a package is registered in General and
# propagated to pkg.julialang.org. We can avoid this by manually
# cloning ~/.julia/registries/General/ in Julia 1.5 and later.
# See:
# * 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")'
shell: bash
env:
# We set `JULIA_PKG_SERVER` only for this step to enforce
# `Pkg.Registry.add` to use Git. This way, Pkg.jl can send
# the request metadata to pkg.julialang.org when installing
# packages via `Pkg.test`.
JULIA_PKG_SERVER: ""
- run: julia --color=yes --check-bounds=yes --inline=${{ inputs.inline }} --project -e 'using Pkg; Pkg.test(coverage=true)'
shell: bash