Skip to content

Commit

Permalink
Use eager Pkg server registry instead of git cloning
Browse files Browse the repository at this point in the history
  • Loading branch information
fredrikekre committed Mar 13, 2023
1 parent 252d468 commit cf7c329
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 84 deletions.
17 changes: 6 additions & 11 deletions action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,17 +17,12 @@ 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 "$GITHUB_ACTION_PATH"/add_general_registry.buildpkg.jl
shell: bash

- run: |
VERSION >= v"1.5-" || return
ENV["JULIA_PKG_SERVER_REGISTRY_PREFERENCE"] = get(ENV, "JULIA_PKG_SERVER_REGISTRY_PREFERENCE", "eager")
import Pkg
Pkg.Registry.add("General")
shell: julia {0}
- run: julia --color=yes --project=${{ inputs.project }} -e 'using Pkg; if VERSION >= v"1.1.0-rc1"; Pkg.build(verbose=true); else Pkg.build(); end'
shell: bash
env:
Expand Down
73 changes: 0 additions & 73 deletions add_general_registry.buildpkg.jl

This file was deleted.

0 comments on commit cf7c329

Please sign in to comment.