Skip to content

Revert "Change jobs option default to 1" #12664

Revert "Change jobs option default to 1"

Revert "Change jobs option default to 1" #12664

Triggered via push August 15, 2025 08:43
Status Success
Total duration 43s
Artifacts

semgrep.yml

on: push
Fit to window
Zoom out
Zoom in