Weekly Technical Debt Counters · Workflow runs · callesonne/mathlib4 · GitHub

Actions

All workflows
Workflows
- Weekly Technical Debt Counters Weekly Technical Debt Counters
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- Check PR titles Check PR titles
- Check workflows Check workflows
Management
- Caches

Weekly Technical Debt Counters

Actions

Loading...
Loading

technical_debt_metrics.yml

6 workflow runs

6 workflow runs

Weekly Technical Debt Counters Weekly Technical Debt Counters #6: Scheduled

1s master

master

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #5: Scheduled

1s master

master

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #4: Scheduled

8s master

master

8s

Weekly Technical Debt Counters Weekly Technical Debt Counters #3: Scheduled

1s master

master

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #2: Scheduled

1s master

master

1s

Weekly Technical Debt Counters Weekly Technical Debt Counters #1: Scheduled

1s master

master

1s