merge dev to main #208

Merged
philipp merged 79 commits from dev into main 2023-11-06 17:18:50 +00:00
Showing only changes of commit ea87cc793b - Show all commits

View File

@ -67,7 +67,7 @@ export class RunnerCard {
private get paddedId(): string { private get paddedId(): string {
let id: string = this.id.toString(); let id: string = this.id.toString();
if (id.length > 11) { if (id.length > 6) {
throw new RunnerCardIdOutOfRangeError(); throw new RunnerCardIdOutOfRangeError();
} }
while (id.length < 6) { id = '0' + id; } while (id.length < 6) { id = '0' + id; }