Skip to content
labeler

chore: move tools to the tools dir #372

Sign in to view logs

chore: move tools to the tools dir

chore: move tools to the tools dir #372

Triggered via pull request October 23, 2023 14:28
@rgomezcasasrgomezcasas
synchronize #368
add-tools-dir
Status Success
Total duration 17s
Artifacts –

labeler.yml

on: pull_request
Label the PR size
8s
Label the PR size
Fit to window
Zoom out
Zoom in