Skip to content
CodeQL

Distinguish between empty match and non-match (#103) #485

Sign in to view logs

Distinguish between empty match and non-match (#103)

Distinguish between empty match and non-match (#103) #485

Triggered via push May 17, 2026 13:51
@nunoplopesnunoplopes
pushed 91fc4be
master
Status Cancelled
Total duration 1m 1s
Artifacts –

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 2 warnings
Analyze actions
Canceling since a higher priority waiting request for CodeQL-refs/heads/master exists
Analyze rust
Canceling since a higher priority waiting request for CodeQL-refs/heads/master exists
Analyze actions
The operation was canceled.
Analyze rust
The operation was canceled.
Analyze cpp
Canceling since a higher priority waiting request for CodeQL-refs/heads/master exists
Analyze cpp
The operation was canceled.
CodeQL
Canceling since a higher priority waiting request for CodeQL-refs/heads/master exists
Analyze actions
Debugging artifacts are unavailable since the 'init' Action failed before it could produce any.
Analyze rust
Debugging artifacts are unavailable since the 'init' Action failed before it could produce any.