Closed rien closed 2 months ago
See https://github.com/dodona-edu/dolos/actions/runs/8817406566
Should be fixed by https://github.com/dodona-edu/dolos/commit/b9b862787b17c2bb2dfbcdd48dc7d70169294ad1
See https://github.com/dodona-edu/dolos/actions/runs/8817406566