Skip to content

Actions: leanprover-community/mathlib4

Actions

Weekly Technical Debt Counters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
technical_debt_metrics.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Weekly Technical Debt Counters Weekly Technical Debt Counters #90: Scheduled
52s master
master
52s
Weekly Technical Debt Counters Weekly Technical Debt Counters #89: Scheduled
49s master
master
49s
Weekly Technical Debt Counters Weekly Technical Debt Counters #88: Scheduled
56s master
master
56s
Weekly Technical Debt Counters Weekly Technical Debt Counters #87: Scheduled
50s master
master
50s
Weekly Technical Debt Counters Weekly Technical Debt Counters #86: Scheduled
54s master
master
54s
Weekly Technical Debt Counters Weekly Technical Debt Counters #85: Scheduled
50s master
master
50s
Weekly Technical Debt Counters Weekly Technical Debt Counters #84: Scheduled
47s master
master
47s
Weekly Technical Debt Counters Weekly Technical Debt Counters #83: Scheduled
50s master
master
50s
Weekly Technical Debt Counters Weekly Technical Debt Counters #82: Manually run by adomani
48s master
master
48s
Weekly Technical Debt Counters Weekly Technical Debt Counters #81: Scheduled
50s master
master
50s
Weekly Technical Debt Counters Weekly Technical Debt Counters #80: Scheduled
54s master
master
54s
Weekly Technical Debt Counters Weekly Technical Debt Counters #79: Scheduled
47s master
master
47s
Weekly Technical Debt Counters Weekly Technical Debt Counters #78: Scheduled
50s master
master
50s
Weekly Technical Debt Counters Weekly Technical Debt Counters #77: Scheduled
52s master
master
52s
Weekly Technical Debt Counters Weekly Technical Debt Counters #76: Scheduled
48s master
master
48s
Weekly Technical Debt Counters Weekly Technical Debt Counters #75: Scheduled
47s master
master
47s
Weekly Technical Debt Counters Weekly Technical Debt Counters #74: Scheduled
54s master
master
54s
Weekly Technical Debt Counters Weekly Technical Debt Counters #73: Scheduled
45s master
master
45s
Weekly Technical Debt Counters Weekly Technical Debt Counters #72: Scheduled
46s master
master
46s
Weekly Technical Debt Counters Weekly Technical Debt Counters #71: Scheduled
47s master
master
47s
Weekly Technical Debt Counters Weekly Technical Debt Counters #70: Scheduled
46s master
master
46s
Weekly Technical Debt Counters Weekly Technical Debt Counters #69: Scheduled
47s master
master
47s
Weekly Technical Debt Counters Weekly Technical Debt Counters #68: Scheduled
46s master
master
46s
Weekly Technical Debt Counters Weekly Technical Debt Counters #67: Scheduled
44s master
master
44s
Weekly Technical Debt Counters Weekly Technical Debt Counters #66: Scheduled
45s master
master
45s