Skip to content

Fix #80 no Dockerfile in any directory or subdirectory#84

Open
nvtkaszpir wants to merge 2 commits intohadolint:masterfrom
nvtkaszpir:fix-80-no-file
Open

Fix #80 no Dockerfile in any directory or subdirectory#84
nvtkaszpir wants to merge 2 commits intohadolint:masterfrom
nvtkaszpir:fix-80-no-file

Conversation

@nvtkaszpir
Copy link
Copy Markdown

@nvtkaszpir nvtkaszpir commented Jan 11, 2024

fixes #80

This should prevent GH action failures if repo has no Dockerfiles (due to non-existing files or if files were deleted in the commits)

@nvtkaszpir nvtkaszpir changed the title Fix 80 no file Fix #80 no file Jan 11, 2024
@nvtkaszpir nvtkaszpir marked this pull request as ready for review January 11, 2024 20:57
@nvtkaszpir nvtkaszpir marked this pull request as draft January 11, 2024 20:59
@nvtkaszpir nvtkaszpir changed the title Fix #80 no file Fix #80 no Dockerfile in any directory or subdirectory Jan 11, 2024
@nvtkaszpir nvtkaszpir force-pushed the fix-80-no-file branch 11 times, most recently from 81792d0 to eb643be Compare January 14, 2024 20:44
@nvtkaszpir nvtkaszpir marked this pull request as ready for review January 14, 2024 20:47
@nvtkaszpir
Copy link
Copy Markdown
Author

nvtkaszpir commented Jan 14, 2024

@brpaz @lorenzo please take a look.
You can see example GH action workflow on PR here nvtkaszpir#1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

withBinaryFile: does not exist (No such file or directory)

1 participant