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

Commits

Commits on May 25, 2026