autoupdate

chore: update tools.json (#2421) #22

Sign in to view logs

Triggered via push December 11, 2023 14:47

Shurtu-gal

master

Status Skipped

Total duration 3s

Artifacts –

autoupdate.yml

on: push

Autoupdate autoapproved PR created in the upstream