Skip to content

Merge branch 'dev' of github.com:brainboxdotcc/DPP #886

Merge branch 'dev' of github.com:brainboxdotcc/DPP

Merge branch 'dev' of github.com:brainboxdotcc/DPP #886

Triggered via push October 12, 2023 00:40
Status Cancelled
Total duration 1m 14s
Artifacts

codeql.yml

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

Annotations

2 errors
Analyze (cpp)
Canceling since a higher priority waiting request for 'CodeQL-refs/heads/master' exists
Analyze (cpp)
The operation was canceled.