Skip to content
PR Labeler

[Playground] Change options and add metrics #234

Sign in to view logs

[Playground] Change options and add metrics

[Playground] Change options and add metrics #234

Triggered via pull request November 12, 2023 21:27
@Zitrone44Zitrone44
synchronize #1509
Status Success
Total duration 13s
Artifacts –

labeler.yml

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