Skip to content
semgrep

Restore that empty loops are not unrolled but do it more efficiently #10942

Sign in to view logs

Restore that empty loops are not unrolled but do it more efficiently

Restore that empty loops are not unrolled but do it more efficiently #10942

Triggered via push October 10, 2024 09:46
@karoliinehkaroliineh
pushed 3ed322d
no-unrolling-resource
Status Success
Total duration 43s
Artifacts –

semgrep.yml

on: push
semgrep
33s
semgrep
Fit to window
Zoom out
Zoom in