Skip to content

Merge remote-tracking branch 'origin/public' into public #120

Merge remote-tracking branch 'origin/public' into public

Merge remote-tracking branch 'origin/public' into public #120

Triggered via push September 30, 2023 16:57
Status Success
Total duration 27m 37s
Artifacts

codeql.yml

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