kitodo-production icon indicating copy to clipboard operation
kitodo-production copied to clipboard
verified publisher icon kitodo

Don't run CodeQL if only minimized JavaScript was changed and fix some issues

Open stweil opened this issue 1 year ago • 1 comments

It's not necessary to run CodeQL (and spend related resources like energy and time) for all kinds of file changes. Here changes of minimized JavaScript are ignored.

In addition some missing @Override tags are added to fix related CodeQL issues.

stweil avatar Sep 02 '24 14:09 stweil

I created a separate pull request #6242 for the missing override annotations. Hopefully this makes it easier to get some CodeQL issues fixed.

stweil avatar Sep 30 '24 21:09 stweil