Skip to content
CodeQL

convert IndexType to IndexTypeND #2876

Sign in to view logs

convert IndexType to IndexTypeND

convert IndexType to IndexTypeND #2876

Triggered via pull request June 17, 2024 22:09
@AlexanderSinnAlexanderSinn
synchronize #3988
AlexanderSinn:convert_IndexType_to_IndexTypeND
Status Cancelled
Total duration 20m 43s
Artifacts 1

codeql.yml

on: pull_request
save_pr_number
3s
save_pr_number
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Analyze (cpp)
Canceling since a higher priority waiting request for 'refs/pull/3988/merge-convert_IndexType_to_IndexTypeND-codeql' exists
Analyze (python)
Canceling since a higher priority waiting request for 'refs/pull/3988/merge-convert_IndexType_to_IndexTypeND-codeql' exists

Artifacts

Produced during runtime
Name Size
pr_number Expired
147 Bytes