Skip to content

add option to delete files that are not "compressed" #103

add option to delete files that are not "compressed"

add option to delete files that are not "compressed" #103

Triggered via pull request July 31, 2023 09:43
Status Cancelled
Total duration 3m 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

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