Migrate rspace metrics to Tagless Final Metrics typeclass

Description

None

Status

Assignee

Sebastian Bach

Reporter

Sebastian Bach

Components

Story Points

8

Epic Link

Sprint

Fix versions

Priority

Medium