Skip to content
CodeQL

ci: Cancel in-progress CI jobs when a PR is closed or merged (#5725) #14307

Sign in to view logs

ci: Cancel in-progress CI jobs when a PR is closed or merged (#5725)

ci: Cancel in-progress CI jobs when a PR is closed or merged (#5725) #14307

Triggered via push February 26, 2026 12:57
@antonisantonis
pushed 5a14e8e
main
Status Success
Total duration 2m 9s
Artifacts –

codeql-analysis.yml

on: push
diff_check  /  diff_check
4s
diff_check / diff_check
Matrix: Analyze
Fit to window
Zoom out
Zoom in