Gitlab has been updated. More info here and there.
We can build some test sequential programs under Overlap.