Merge branch 'master' into master

This commit is contained in:
Viacheslav Kudinov
2023-01-17 17:36:09 +01:00
committed by GitHub
2 changed files with 2 additions and 3 deletions
+1 -2
View File
@@ -18,12 +18,11 @@ inputs:
output-file:
required: false
description: 'The path where to save the linting results to'
default:
default: "/dev/stdout"
results-to-console:
required: false
description: 'The flag to print Hadolint results to console'
default: false
# standart hadolint options:
no-color:
required: false