Skip to content
labeler

chore: move tools to the tools dir #371

Sign in to view logs

chore: move tools to the tools dir

chore: move tools to the tools dir #371

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

labeler.yml

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