Require PR label

`metric`: Fix precision format #387

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Re-run triggered December 9, 2023 15:14

hugovk

#159

e-nikolov:patch-1

Status Success

Total duration 12s

Artifacts –

require-pr-label.yml

on: pull_request