Skip to content

Change from metric to rule - #474

Merged
aeisenberg merged 1 commit into
mainfrom
aeisenberg/change-metric-id
May 4, 2021
Merged

Change from metric to rule#474
aeisenberg merged 1 commit into
mainfrom
aeisenberg/change-metric-id

Change from `metric` to `rule`

a2312a0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs