Skip to content

[scoreboard] Remove auto-generated scoreboard deadline labels and simplify their handling#799

Merged
aobolensk merged 1 commit into
learning-process:masterfrom
aobolensk:deadlines-simplify
Jun 5, 2026
Merged

[scoreboard] Remove auto-generated scoreboard deadline labels and simplify their handling#799
aobolensk merged 1 commit into
learning-process:masterfrom
aobolensk:deadlines-simplify

Remove auto-generated scoreboard deadline labels and simplify their h…

cabd6b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
label-pull-requests
succeeded Jun 5, 2026 in 5s