Skip to content

chore: rename docs to _docs, tools to _tools (#408) #176

chore: rename docs to _docs, tools to _tools (#408)

chore: rename docs to _docs, tools to _tools (#408) #176

Triggered via push November 20, 2024 16:56
Status Success
Total duration 2m 6s
Artifacts 1
Scorecard analysis
1m 57s
Scorecard analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
SARIF file Expired
15.9 KB