Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #67

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #67

Triggered via schedule September 8, 2025 04:06
@mathlib-borsmathlib-bors[bot]
⁠ a3e910d
master
Status Success
Total duration 44s
Artifacts –

technical_debt_metrics.yml

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