* rm upload artifacts to GitHub * Skip lint_c if no source files were modified Co-authored-by: Aleksandr Kutuzov <alleteam@gmail.com>
* rm upload artifacts to GitHub * Skip lint_c if no source files were modified Co-authored-by: Aleksandr Kutuzov <alleteam@gmail.com>