Make coverage optional (#19)

* Make coverage optional

* Apply suggestions from code review

* typo
This commit is contained in:
Fredrik Ekre
2020-10-14 12:43:35 +02:00
committed by GitHub
parent ffce252ef2
commit 2976a507b0

View File

@@ -10,6 +10,9 @@ inputs:
inline:
description: 'Value passed to the --inline flag. Options: yes | no. Default value: yes.'
default: 'yes'
coverage:
description: 'Value determining whether to test with coverage or not. Options: true | false. Default value: true.'
default: 'true'
runs:
using: 'composite'
@@ -30,5 +33,5 @@ runs:
# 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)'
- run: julia --color=yes --check-bounds=yes --inline=${{ inputs.inline }} --project -e 'using Pkg; Pkg.test(coverage=${{ inputs.coverage }})'
shell: bash