Back to pull request #3642

chore: update tools.json #16856

Sign in to view logs

Triggered via pull request February 3, 2025 00:37

coderabbitai[bot]

edited #3642

Status Success

Total duration 18s

Artifacts –

automerge-for-humans-merging.yml

on: pull_request_target

automerge-for-humans