Skip to content

optional: use #if instead of #ifndef, fixes #3859 #17

optional: use #if instead of #ifndef, fixes #3859

optional: use #if instead of #ifndef, fixes #3859 #17

Triggered via push December 2, 2024 14:27
Status Cancelled
Total duration 5m 42s
Artifacts
CodeQL-Build
0s
CodeQL-Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
CodeQL-Build
Canceling since a higher priority waiting request for 'Code scanning - action-refs/heads/develop' exists