mirror of
https://github.com/julia-actions/julia-buildpkg.git
synced 2026-02-12 09:26:54 +08:00
77 lines
3.2 KiB
YAML
77 lines
3.2 KiB
YAML
name: 'Run Pkg.build'
|
|
description: 'Run the build step in a Julia package'
|
|
author: 'David Anthoff'
|
|
|
|
branding:
|
|
icon: 'box'
|
|
color: 'gray-dark'
|
|
|
|
inputs:
|
|
project:
|
|
description: 'Value passed to the --project flag. The default value is the repository root: "@."'
|
|
default: '@.'
|
|
precompile:
|
|
description: 'Whether to allow auto-precompilation (via the `JULIA_PKG_PRECOMPILE_AUTO` env var). Options: yes | no. Default value: no.'
|
|
default: 'no'
|
|
localregistry:
|
|
description: 'Add local registries hosted on GitHub. Specified by providing the url (https/ssh) to the repositories as a newline (\n) seperated list.
|
|
User is responsible for setting up the necessary SSH-Keys to access the repositories if necessary.'
|
|
default: ''
|
|
git_cli:
|
|
description: 'Determine if Pkg uses the cli git executable (Julia >= 1.7). Might be necessary for more complicated SSH setups.
|
|
Options: true | false. Default : false'
|
|
default: 'false'
|
|
ignore-no-cache:
|
|
description: 'Whether to ignore if there appears to be no depot caching. Silences an action notice recommending `julia-actions/cache`.'
|
|
default: 'false'
|
|
|
|
runs:
|
|
using: 'composite'
|
|
steps:
|
|
- name: Set and export registry flavor preference
|
|
run: echo "JULIA_PKG_SERVER_REGISTRY_PREFERENCE=${JULIA_PKG_SERVER_REGISTRY_PREFERENCE:-eager}" >> ${GITHUB_ENV}
|
|
shell: bash
|
|
- run: |
|
|
if "${{ inputs.ignore-no-cache }}" == "false" && !isdir(DEPOT_PATH[1])
|
|
println("::notice title=[julia-buildpkg] Caching of the julia depot was not detected ::Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache. To ignore, set input `ignore-no-cache: true` ")
|
|
end
|
|
import Pkg
|
|
|
|
# Determine if Pkg uses git-cli executable instead of LibGit2
|
|
VERSION >= v"1.7-" && (ENV["JULIA_PKG_USE_CLI_GIT"] = ${{ inputs.git_cli }})
|
|
|
|
if VERSION < v"1.7-" && ${{ inputs.git_cli }} == true
|
|
printstyled("::notice::JULIA_PKG_USE_CLI_GIT requires Julia >= 1.7. Using default LibGit2 git-interface instead! \n"; color = :yellow)
|
|
end
|
|
|
|
if VERSION >= v"1.5-"
|
|
function reachable_registries()
|
|
return if VERSION >= v"1.7-"
|
|
Pkg.Registry.reachable_registries()
|
|
else
|
|
[(; name=r.name, repo=r.url) for r in Pkg.Types.collect_registries()]
|
|
end
|
|
end
|
|
|
|
if !any(r -> r.name == "General", reachable_registries())
|
|
Pkg.Registry.add("General")
|
|
end
|
|
|
|
# If provided add local registries
|
|
if !isempty("${{ inputs.localregistry }}")
|
|
local_repos = split("${{ inputs.localregistry }}", "\n"; keepempty=false) .|> string
|
|
for repo_url in local_repos
|
|
# https://github.com/JuliaLang/Pkg.jl/issues/3753
|
|
if !any(r -> r.repo == repo_url, reachable_registries())
|
|
Pkg.Registry.add(Pkg.RegistrySpec(; url = repo_url))
|
|
end
|
|
end
|
|
end
|
|
end
|
|
|
|
VERSION >= v"1.1.0-rc1" ? retry(Pkg.build)(verbose=true) : retry(Pkg.build)()
|
|
shell: julia --color=yes --project=${{ inputs.project }} {0}
|
|
env:
|
|
JULIA_PKG_PRECOMPILE_AUTO: "${{ inputs.precompile }}"
|
|
GITHUB_TOKEN: ${{ github.token }}
|