Semgrep change history: Some CI Scans are not completing successfully

Semgrep reported a major CI scan degradation starting 2026-01-08 10:40 UTC: some scans failed to complete or took a long time, getting stuck at "Uploading scan results" or "Finalizing scan". A fix was implemented at 12:11 UTC, and the incident was resolved at 2026-01-08 13:36 UTC after 2 h 56 min.