Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #83

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #83

Triggered via schedule December 22, 2025 04:21
@mathlib-borsmathlib-bors[bot]
⁠ cc5691d
master
Status Success
Total duration 50s
Artifacts –

technical_debt_metrics.yml

on: schedule
run-script
47s
run-script
Fit to window
Zoom out
Zoom in