Skip to content

fix: fetch proton from remote git repo instead of local directory (#253) #733

fix: fetch proton from remote git repo instead of local directory (#253)

fix: fetch proton from remote git repo instead of local directory (#253) #733

Triggered via push April 21, 2026 03:29
Status Success
Total duration 26s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in