Skip to content

make generate: skip fetch if commit already exists locally (#4668) #3156

make generate: skip fetch if commit already exists locally (#4668)

make generate: skip fetch if commit already exists locally (#4668) #3156

Triggered via push March 5, 2026 14:44
Status Success
Total duration 23s
Artifacts

python_push.yml

on: push
Matrix: tests
Fit to window
Zoom out
Zoom in