You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
l:SSolving this issue takes hoursp:mediumMedium priority, this issue can wait but should be done fairly soont:maintenanceThe issue describes necessary maintenance
Rikiddo is not used as a scoring rule. Having it included increases the runtime size and maintenance cost, thus it should be removed.
The text was updated successfully, but these errors were encountered:
sea212
added
p:medium
Medium priority, this issue can wait but should be done fairly soon
t:maintenance
The issue describes necessary maintenance
l:S
Solving this issue takes hours
labels
Dec 4, 2023
l:SSolving this issue takes hoursp:mediumMedium priority, this issue can wait but should be done fairly soont:maintenanceThe issue describes necessary maintenance
Rikiddo is not used as a scoring rule. Having it included increases the runtime size and maintenance cost, thus it should be removed.
The text was updated successfully, but these errors were encountered: