Skip to content

fix(ci): wrong extras repo name (#2262) #13877

fix(ci): wrong extras repo name (#2262)

fix(ci): wrong extras repo name (#2262) #13877

Triggered via push October 21, 2024 17:55
Status Success
Total duration 1m 19s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in