Skip to content

chore(skore)!: Rename scoring to metric #5417

chore(skore)!: Rename scoring to metric

chore(skore)!: Rename scoring to metric #5417

Triggered via pull request December 3, 2025 14:53
Status Success
Total duration 18s
Artifacts

pr-lint-title.yml

on: pull_request
pr-lint-title
14s
pr-lint-title
Fit to window
Zoom out
Zoom in