Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #72

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #72

Triggered via schedule October 13, 2025 04:07
@mathlib-borsmathlib-bors[bot]
⁠ a778305
master
Status Success
Total duration 46s
Artifacts –

technical_debt_metrics.yml

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