Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #73

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #73

Triggered via schedule October 20, 2025 04:10
@mathlib-borsmathlib-bors[bot]
⁠ 9e57458
master
Status Success
Total duration 45s
Artifacts –

technical_debt_metrics.yml

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