Skip to content
Weekly Technical Debt Counters

Weekly Technical Debt Counters #80

Sign in to view logs

Weekly Technical Debt Counters

Weekly Technical Debt Counters #80

Triggered via schedule December 8, 2025 04:14
@mathlib-borsmathlib-bors[bot]
⁠ 6201e59
master
Status Success
Total duration 54s
Artifacts –

technical_debt_metrics.yml

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