Skip to content

chore: update tools.json (#4371) #4175

chore: update tools.json (#4371)

chore: update tools.json (#4371) #4175

Triggered via push September 1, 2025 00:49
Status Success
Total duration 32s
Artifacts

autoupdate.yml

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

Annotations

1 error
Autoupdate autoapproved PR created in the upstream
Could not update pull request #4358 due to an authorisation error. This is probably because this pull request is from a fork and the current token does not have write access to the forked repository. Error was: Must have admin rights to Repository.