Skip to content

Speed up PR gate (shallow checkout, no coverage on PR)#217

Merged
miguelgfierro merged 1 commit into
mainfrom
ci-speedup-1-2-4
May 25, 2026
Merged

Speed up PR gate (shallow checkout, no coverage on PR)#217
miguelgfierro merged 1 commit into
mainfrom
ci-speedup-1-2-4

Speed up PR gate: shallow checkout, no coverage on PR

dcc7a39
Select commit
Loading
Failed to load commit list.
Sign in for the full log view