c

Ralf Jung authored 11 months ago

Bump timeout to hopefully solve #571.

Closes #571

See merge request iris/iris!1051

84ed8993