New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

thylint action should not fail on deleted files #284

Open

lsf37 opened this issue Oct 9, 2023 · 0 comments

Labels

Member

lsf37 commented Oct 9, 2023

Currently the thylint action is failing if a PR only contains deleted files, because it is invoked with an empty command line.

While this is the right behaviour for the script, the GH action should handle this case by ignoring it silently and succeeding.

lsf37 added the verification label

lsf37 mentioned this issue

misc/scripts: remove Darwin cpp wrapper seL4/l4v#677

Merged

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