Skip to content
GitLab

define rtypes differently

1 job for time/no_movable in 11 minutes and 28 seconds (queued for 8 seconds)
7565241e
1 related merge request: !126 Remove Movable typeclass