.

@88MatteoB: Your title is wrong. Game does not say Renegade wons.

The fact remains that the end of the referenced game does not respect the rule. This is another consequence of the bug that was the subject of the report:
#61154: "player leaves after being eliminated , but not choosing discard order. player must be skipped ".
in the case of one or more eliminations triggering the end of the game.

Indeed, the common point with this other report is that the software continues to perform superfluous processing while an end condition is fulfilled and the game is completed.

In the rules, you check first if the sherif is killed. When this is the case, the game is over in one way (Renegade wins) or another(Oulaws win) and it is seriously incorrect to check if another condition of victory is met, to force one or more players to discard cards, or perform any other unnecessary operation that does not affect the results of the game.

I admit I was a little too insistent on bug #61154.
Indeed, the results of the referenced gamet only take into account the second end-of-game condition and I could have suspected that only the end-of-game module was concerned.