mirrored-actions/dagger-for-github
1
0
Fork 0
mirror of https://github.com/dagger/dagger-for-github.git synced 2025-12-31 20:59:43 +11:00
Code Issues Projects Releases Packages Wiki Activity

Add option to not kill Engine

Browse source 
Signed-off-by: Jeremy Adams <jeremy@dagger.io>
This commit is contained in:
Jeremy Adams 2023-12-29 23:15:30 -08:00
parent c2ba97152a
commit e86a41a730
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
action.yml
View file

@ -29,6 +29,10 @@ inputs:
description: 'Arguments to pass to CLI'
required: false
default: ''
engine-stop:
description: 'Whether to stop the Dagger Engine after this run'
required: false
default: 'true'
runs:
using: "composite"
steps:
@ -64,4 +68,4 @@ runs:
docker stop -t 300 "${containers[@]}";
fi
shell: bash
if: ${{ always() }}
if: inputs.engine-stop == 'true'