add option to delete files that are not "compressed" #103
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
6 errors and 2 warnings
Analyze (python)
Canceling since a higher priority waiting request for 'CodeQL-refs/pull/1036/merge-pull_request' exists
|
Analyze (python)
The operation was canceled.
|
Analyze (cpp)
Canceling since a higher priority waiting request for 'CodeQL-refs/pull/1036/merge-pull_request' exists
|
Analyze (cpp)
The operation was canceled.
|
Analyze (java)
Canceling since a higher priority waiting request for 'CodeQL-refs/pull/1036/merge-pull_request' exists
|
Analyze (java)
The operation was canceled.
|
Analyze (cpp)
The "paths"/"paths-ignore" fields of the config only have effect for JavaScript, Python, and Ruby
|
Analyze (java)
The "paths"/"paths-ignore" fields of the config only have effect for JavaScript, Python, and Ruby
|