Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #90

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #90

Triggered via schedule February 9, 2026 04:45
@mathlib-borsmathlib-bors[bot]
⁠ efc0e39
master
Status Success
Total duration 52s
Artifacts –

technical_debt_metrics.yml

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