mirror of
https://github.com/julia-actions/julia-buildpkg.git
synced 2026-02-12 01:16:54 +08:00
Disable autoprecompile by default (#26)
This commit is contained in:
@@ -10,6 +10,9 @@ inputs:
|
|||||||
project:
|
project:
|
||||||
description: 'Value passed to the --project flag. The default value is the repository root: "@."'
|
description: 'Value passed to the --project flag. The default value is the repository root: "@."'
|
||||||
default: '@.'
|
default: '@.'
|
||||||
|
precompile:
|
||||||
|
description: 'Whether to allow auto-precompilation (via the `JULIA_PKG_PRECOMPILE_AUTO` env var). Options: yes | no. Default value: no.'
|
||||||
|
default: 'no'
|
||||||
|
|
||||||
runs:
|
runs:
|
||||||
using: 'composite'
|
using: 'composite'
|
||||||
@@ -33,3 +36,5 @@ runs:
|
|||||||
|
|
||||||
- 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'
|
- 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
|
shell: bash
|
||||||
|
env:
|
||||||
|
JULIA_PKG_PRECOMPILE_AUTO: "${{ inputs.precompile }}"
|
||||||
|
|||||||
Reference in New Issue
Block a user