Skip to content

chore: update tools.json #1860

chore: update tools.json

chore: update tools.json #1860

Triggered via push November 20, 2023 00:26
Status Success
Total duration 16s
Artifacts

autoupdate.yml

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