Skip to content
PR Labeler

[Playground] Change options and add metrics #231

Sign in to view logs

[Playground] Change options and add metrics

[Playground] Change options and add metrics #231

Triggered via pull request November 12, 2023 20:52
@Zitrone44Zitrone44
opened #1509
Status Success
Total duration 12s
Artifacts –

labeler.yml

on: pull_request_target
triage
3s
triage
Fit to window
Zoom out
Zoom in