Skip to content

update.sh: remove unnecessary rm operation #1106

update.sh: remove unnecessary rm operation

update.sh: remove unnecessary rm operation #1106

Triggered via pull request February 3, 2026 13:43
Status Success
Total duration 17s
Artifacts

eclint.yml

on: pull_request
Fit to window
Zoom out
Zoom in