Export the JULIA_PKG_SERVER_REGISTRY_PREFERENCE variable for subsequent steps. (#33)

This commit is contained in:
Fredrik Ekre
2023-03-13 18:32:34 +01:00
committed by GitHub
parent 7c59a056df
commit 72ddd0fcdc
2 changed files with 13 additions and 1 deletions

View File

@@ -17,11 +17,13 @@ inputs:
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: |
import Pkg
VERSION >= v"1.5-" && Pkg.Registry.add("General")
VERSION >= v"1.1.0-rc1" ? Pkg.build(verbose=true) : Pkg.build()
shell: julia --color=yes --project=${{ inputs.project }} {0}
env:
JULIA_PKG_SERVER_REGISTRY_PREFERENCE: "${{ env.JULIA_PKG_SERVER_REGISTRY_PREFERENCE == '' && 'eager' || env.JULIA_PKG_SERVER_REGISTRY_PREFERENCE }}"
JULIA_PKG_PRECOMPILE_AUTO: "${{ inputs.precompile }}"