Skip to content

#245: Use double dash to signal end of options, and beginning of posi… #615

#245: Use double dash to signal end of options, and beginning of posi…

#245: Use double dash to signal end of options, and beginning of posi… #615

Triggered via push December 10, 2025 00:59
Status Success
Total duration 25s
Artifacts 1

pre-commit.yml

on: push
pre-commit
21s
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pre-commit
Cache save failed.

Artifacts

Produced during runtime
Name Size Digest
precommit-logs Expired
195 Bytes
sha256:e957bfc69178e5dd7caf61b56d0622c5c158ec90e535c26393eaff614bbd4986