Add directories input (#8)

Co-authored-by: Sascha Mann <git@mail.saschamann.eu>
Co-authored-by: Michael Schlottke-Lakemper <michael@sloede.com>
This commit is contained in:
Eric Hanson
2021-06-05 12:04:57 +02:00
committed by GitHub
parent f555f2b0e5
commit 52227d0278
3 changed files with 36 additions and 2 deletions

View File

@@ -6,8 +6,16 @@ branding:
icon: 'settings'
color: 'gray-dark'
inputs:
directories:
description: 'Comma-separated list of directories to look for coverage information (e.g. `src,examples`)'
required: false
default: 'src'
runs:
using: 'composite'
steps:
- run: julia --color=yes "$GITHUB_ACTION_PATH"/main.jl
shell: bash
env:
INPUT_DIRECTORIES: ${{ inputs.directories }}