Skip to content
CodeQL

[#2139] Explain why we set the default batch size to 0 #1245

Sign in to view logs

[#2139] Explain why we set the default batch size to 0

[#2139] Explain why we set the default batch size to 0 #1245

Triggered via push March 7, 2025 12:43
@DavideDDavideD
pushed ede60d8
main
Status Success
Total duration 5m 50s
Artifacts –

codeql.yml

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