Skip to content

chore: update tools.json #3107

chore: update tools.json

chore: update tools.json #3107

Triggered via push October 28, 2024 00:35
Status Success
Total duration 15s
Artifacts

autoupdate.yml

on: push
Autoupdate autoapproved PR created in the upstream
7s
Autoupdate autoapproved PR created in the upstream
Fit to window
Zoom out
Zoom in