Skip to content

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

chore(skore)!: Rename scoring to metric

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

Triggered via pull request December 4, 2025 11:01
Status Success
Total duration 15s
Artifacts

pr-lint-title.yml

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