Skip to content

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

chore(skore)!: Rename scoring to metric

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

Triggered via pull request December 2, 2025 16:56
Status Success
Total duration 18s
Artifacts

pr-lint-title.yml

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